Sökt på: Böcker av Frank de Boer
totalt 37 träffar
Formal Methods for Components and Objects
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large …
It's All About Coordination
This Festschrift volume has been published to celebrate the lifelong scientific achievements of Farhad Arbab on the occasion of his retirement from the Centre of Mathematics and …
Verification of Sequential and Concurrent Programs
HIS BOOK CONTAINS a most comprehensive text that presents syntax-directed and compositional methods for the formal veri?- T cation of programs. The approach is not language-bounded …
Microelectromechanical Systems - Materials and Devices IV: Volume 1299
Symposium S, 'Microelectromechanical Systems - Materials and Devices IV', held November 29–December 3 at the 2010 MRS Fall Meeting in Boston, Massachusetts, focused on micro- and …
Formal Methods for Components and Objects
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the …
Formal Methods for Components and Objects
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large …
Formal Methods for Components and Objects
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to more complex systems, …
Formal Methods for Components and Objects
All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the development methodologies has …
Software Engineering and Formal Methods
This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, SEFM 2020, held in Amsterdam, The Netherlands, in …
Formal Methods for Components and Objects
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design for some time. However, their application to the …
Theoretical Computer Science
This book constitutes the refereed proceedings of the 7th FIP WG 2.2 International Conference, TCS 2012, held in Amsterdam, The Netherlands, in September 2012. The 25 revised full …
Fostering Language Teaching Efficiency through Cognitive Linguistics
In contexts of instructed second language acquisition there is a need for teaching methods that are optimally efficient, i.e. teaching interventions that generate a maximal return …