Fred Kröger
Fred Kröger
4 books in the database
Books
Temporal Logic of ProgramsFred Kröger
Temporal Logic of Programs
Fred Kröger · 1987
Temporal logic and state systemsFred Kröger
Temporal logic and state systems
Fred Kröger · 2008
Einführung in die InformatikFred Kröger
Einführung in die Informatik
Fred Kröger · 1991
Einführung in die InformatikFred Kröger
Einführung in die Informatik
Fred Kröger · 1991