3 Электронные книги 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 …
PDF
немецкий
DRM
€42.67
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, …
PDF
английский
DRM
€82.67
