Autore: Fred Kroger

…

Das Buch ist eine moderne algorithmenorientierte Einf}hrungin die Informatik: Im Vordergrund stehen Konzepte, Methodenund Techniken der Algorithmenentwicklung. Algorithmische Konzepte und ihre Verwen …

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, th …