Correct System Design Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Meyer, Roland (Editor), Platzer, André (Editor), Wehrheim, Heike (Editor)
• Format: Electronic eBook
• Language: English
• Published: Cham : Springer International Publishing : Imprint: Springer, 2015.
• Series: Lecture Notes in Computer Science, 9360
• Subjects: Computer science.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Mathematical logic.; Artificial intelligence.; Computer Science.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Mathematical Logic and Foundations.; Software Engineering.; Programming Languages, Compilers, Interpreters.; Artificial Intelligence (incl. Robotics).

This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. This volume is a reflection on Professor Olderog's contributions to the scientific community. It provides a sample of research ideas that have been influenced directly by Ernst-­Rüdiger Olderog'...