Blick ins Buch Semantik und Programmverifikation - Christoph Walther

Christoph Walther

Semantik und Programmverifikation

Auflage 2001.
kartoniert , 216 Seiten
ISBN 3519003368
EAN 9783519003366
Veröffentlicht November 2001
Verlag/Hersteller Vieweg+Teubner Verlag

Auch erhältlich als:

pdf eBook
€ 33,26
€ 37,99 inkl. MwSt.
Lieferbar innerhalb von 3-5 Tagen (Versand mit Deutscher Post/DHL)
Auf die Wunschliste
Teilen

Weitere interessante Themen

Beschreibung

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.

Portrait

Prof. Dr. Christoph Walther, TU Darmstadt

Hersteller
Vieweg+Teubner Verlag
Abraham-Lincoln-Straße 46

DE - 65189 Wiesbaden

E-Mail: ProductSafety@springernature.com