Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday: 9660 (Theoretical Computer Science and General Issues) - Tapa blanda

 
9783319307336: Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday: 9660 (Theoretical Computer Science and General Issues)
Tapa blanda
ISBN 10: 3319307339 ISBN 13: 9783319307336
Editorial: Springer, 2016

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

Reseña del editor

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2016
Idioma
Inglés
ISBN 10 
3319307339
ISBN 13 
9783319307336
Encuadernación
Tapa blanda
Número de edición
1
Número de páginas
440
Editor
Ábrahám Erika, Bonsangue Marcello, Johnsen Einar Broch
Contacto del fabricante
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Alemania

Otras ediciones populares con el mismo título

9783319307350: Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday

Edición Destacada

ISBN 10:  3319307355 ISBN 13:  9783319307350
Editorial: Springer Nature B.V., 2016
Tapa blanda