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

"Einführung in die Informatik: Algorithmenentwicklung" von Fred Kröger ist ein Lehrbuch, das sich mit den grundlegenden Konzepten und Methoden der Algorithmenentwicklung befasst. Es richtet sich an Studierende der Informatik und...