Das Buch ist eine moderne algorithmenorientierte Einf}hrung in die Informatik: Im Vordergrund stehen Konzepte, Methoden und Techniken der Algorithmenentwicklung. Algorithmische Konzepte und ihre Verwendung werden formal und zun{chst ohne...

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise,...