Sökt på: Böcker av Fred Kröger
totalt 4 träffar
Temporal Logic and State Systems
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 …
Temporal Logic and State Systems
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 …
Einführung in die Informatik
Das Buch ist eine moderne algorithmenorientierte Einf}hrung in die Informatik: Im Vordergrund stehen Konzepte, Methoden und Techniken der Algorithmenentwicklung. …
Temporal Logic of Programs
Introduction to the temporal logic of - in particular paral- lel - programs.Divided into three main parts: - Presenta- tion of the pure temporal logic: language, semantics, and …