3 Ebooks bởi Fred Kroger
Fred Kroger: Einführung in die Informatik
Das Buch ist eine moderne algorithmenorientierte Einf}hrungin die Informatik: Im Vordergrund stehen Konzepte, Methodenund Techniken der Algorithmenentwicklung. Algorithmische Konzepte und ihre Verwen …
PDF
tiếng Đức
DRM
€43.21
Fred Kroger & Stephan Merz: 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 by the authors, th …
PDF
Anh
DRM
€84.74
