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 The Magic Ring by
Cover of the book Advanced Intelligent Systems for Sustainable Development (AI2SD’2018) by
Cover of the book Atlas of Adult Autopsy by
Cover of the book Web Information Systems Engineering – WISE 2016 by
Cover of the book Argument Evaluation and Evidence by
Cover of the book Applications of Elliptic Carleman Inequalities to Cauchy and Inverse Problems by
Cover of the book Alternative Energy Sources and Technologies by
Cover of the book Feeling Together and Caring with One Another by
Cover of the book The Life, Science and Times of Lev Vasilevich Shubnikov by
Cover of the book Equations Involving Malliavin Calculus Operators by
Cover of the book Structured Object-Oriented Formal Language and Method by
Cover of the book Intelligent Human Computer Interaction by
Cover of the book Software Process Improvement and Capability Determination by
Cover of the book Geological Storage of CO2 – Long Term Security Aspects by
Cover of the book Mathematical Modeling 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