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

• Corporate Author: SpringerLink (Online service)
• Other Authors: Ábrahám, Erika (Editor), Bonsangue, Marcello (Editor), Johnsen, Einar Broch (Editor)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2016.
• Series: Lecture Notes in Computer Science, 9660
• Subjects: Computer science.; Software engineering.; Programming languages (Electronic computers).; Algorithms.; Computer logic.; Mathematical logic.; Artificial intelligence.; Computer Science.; Logics and Meanings of Programs.; Software Engineering.; Algorithm Analysis and Problem Complexity.; Mathematical Logic and Formal Languages.; Programming Languages, Compilers, Interpreters.; Artificial Intelligence (incl. Robotics).

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 intere...