Fred Kröger
Fred Kröger
4 ספרים במאגר
ספרים
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