Theory and Practice of Formal Methods

Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Nonfiction, Computers, Programming, Software Development, General Computing
Cover of the book Theory and Practice of Formal Methods by , Springer International Publishing
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: ISBN: 9783319307343
Publisher: Springer International Publishing Publication: March 12, 2016
Imprint: Springer Language: English
Author:
ISBN: 9783319307343
Publisher: Springer International Publishing
Publication: March 12, 2016
Imprint: Springer
Language: English

This Festschrift volume has been published in honor of Frank de Boer, on the occasion of his 60th birthday.
Frank S. de Boer is a prominent member of the research community in formal methods and theoretical computer science. A brief look at his lengthy publication list reveals a broad area of interest and a versatile modus operandi with: logic and constraint programming; deductive proof systems, soundness, and completeness; semantics, compositionality, and full abstraction; process algebra and decidability; multithreading and actor-based concurrency; agent programming, ontologies, and modal logic; real-time systems, timed automata, and schedulability; enterprise architectures, choreography, and coordination; testing and runtime monitoring; and cloud computing and service-level agreements. For a while, he also liked failures, especially in semantics, and optimistically concluded with the failure of failures. In fact, Frank has an opportunistic approach to research. Rather than seeing obstacles, he finds opportunities.

View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

This Festschrift volume has been published in honor of Frank de Boer, on the occasion of his 60th birthday.
Frank S. de Boer is a prominent member of the research community in formal methods and theoretical computer science. A brief look at his lengthy publication list reveals a broad area of interest and a versatile modus operandi with: logic and constraint programming; deductive proof systems, soundness, and completeness; semantics, compositionality, and full abstraction; process algebra and decidability; multithreading and actor-based concurrency; agent programming, ontologies, and modal logic; real-time systems, timed automata, and schedulability; enterprise architectures, choreography, and coordination; testing and runtime monitoring; and cloud computing and service-level agreements. For a while, he also liked failures, especially in semantics, and optimistically concluded with the failure of failures. In fact, Frank has an opportunistic approach to research. Rather than seeing obstacles, he finds opportunities.

More books from Springer International Publishing

Cover of the book Riemannian Geometry by
Cover of the book Gun Violence Prevention? by
Cover of the book Characterizing Stellar and Exoplanetary Environments by
Cover of the book Multi-hazard Approaches to Civil Infrastructure Engineering by
Cover of the book Surrogate Motherhood Families by
Cover of the book Database and Expert Systems Applications by
Cover of the book Evolutionary Computation in Combinatorial Optimization by
Cover of the book The Lived Experience of Climate Change by
Cover of the book Clinical Ethics Consultation: A Practical Guide by
Cover of the book Stochastic Models for Structured Populations by
Cover of the book Breast Cancer Prevention and Treatment by
Cover of the book Manifestations of Dark Matter and Variations of the Fundamental Constants in Atoms and Astrophysical Phenomena by
Cover of the book Charge-based CMOS Digital RF Transmitters by
Cover of the book Modeling Steel Deformation in the Semi-Solid State by
Cover of the book Advanced Computing Strategies for Engineering by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy