-
-
ISBN-103642579477
-
GTIN-139783642579479
-
UntertitelSequentielle, parallele und verteilte Programme
-
Erscheinungstermin2013-03-07
-
Spracheger
-
Genre-Code9632
-
Letzte Bearbeitung2022-03-03
-
ProduktartEA
-
Schlüsselwörter
-
Verleger
-
Genre
-
Programmverifikation online kaufen
Die Publikation Programmverifikation - Sequentielle, parallele und verteilte Programme von Krzysztof R. Apt, Ernst-Rüdiger Olderog ist bei Springer Berlin erschienen. Die Publikation ist mit folgenden Schlagwörtern verschlagwortet: Fairneßannahmen, Operationelle Semantik, partielle und totale Programmkorrektheit, Programmtransformation, Programmverifikation, Semantik, Syntax-gerichtete Verifikationsregeln, Variable, Verifikation. Weitere Bücher, Themenseiten, Autoren und Verlage finden Sie hier: https://buchfindr.de/sitemap_index.xml . Auf Buch FindR finden Sie eine umfassendsten Bücher und Publikationlisten im Internet. Sie können die Bücher und Publikationen direkt bestellen. Ferner bieten wir ein umfassendes Verzeichnis aller Verlagsanschriften inkl. Email und Telefonnummer und Adressen. Die Publikation kostet in Deutschland 22.99 EUR und in Österreich 22.99 EUR Für Informationen zum Angebot von Buch FindR nehmen Sie gerne mit uns Kontakt auf!