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 Verwen …
PDF
जर्मन
DRM
€43.82
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
अंग्रेज़ी
DRM
€84.84
