Yazar
Fred Kroger
6 cilt bulundu.
Cilt sonuçları
Temporal Logic of Programs
Fred Kröger · Springer Berlin Heidelberg
148 sayfa · 1987
Computer programming / Logic, symbolic and mathematical
Temporal logic of programs
Fred Kröger · Springer-Verlag
148 sayfa · 1987
Computer programming / Symbolic and mathematical Logic / Programozás / Logique symbolique et mathématique / Programm
Einführung in die Informatik
Fred Kröger · Springer Berlin Heidelberg
Sayfa sayısı yok · 1991
Objektorientierte Programmierung / Java 2
Temporal logic and state systems
Fred Kröger, Stephan Merz · Springer London, Limited
424 sayfa · 2008
Tense (Logic) / Symbolic and mathematical Logic / Time / Logic, symbolic and mathematical