Semantik und Programmverifikation von Walther, Christoph

Semantik und Programmverifikation

Dieses Buch behandelt Grundkonzepte der Programmiersprachensemantik anhand einer einfachen funktionalen Programmiersprache. Darauf aufbauend werden die Aufgaben und Probleme bei Nachweis von totaler und partieller Korrektheit einfacher funktionaler Programme behandelt. Insbesondere wird der Bezug zwischen Programmiersprachensemantik und formaler Logik illustriert. Prinzipielle Grenzen der „automatischen“ Verifikation werden untersucht und die praktische Relevanz dieser Grenzen wird diskutiert.

> findR *
> Buchhandlung findr > Verlag findr > Für Buchhändler
Bücher zum Thema
Beweistechniken Funktionale Programme Handel Informatik Korrektheit von Programmen Logik Programmiersprachen Programmverifikation Semantik Softwareengineering
Produktinformationen

Semantik und Programmverifikation online kaufen

Die Publikation Semantik und Programmverifikation von ist bei Vieweg & Teubner erschienen. Die Publikation ist mit folgenden Schlagwörtern verschlagwortet: Beweistechniken, Funktionale Programme, Handel, Informatik, Korrektheit von Programmen, Logik, Programmiersprachen, Programmverifikation, Semantik, Softwareengineering. Weitere Bücher, Themenseiten, Autoren und Verlage finden Sie hier: https://buch-findr.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 37.99 EUR und in Österreich 39.05 EUR Für Informationen zum Angebot von Buch FindR nehmen Sie gerne mit uns Kontakt auf!