Semantik und Programmverifikation

Main
Engineering
Semantik und Programmverifikation

Semantik und Programmverifikation

Name: Semantik und Programmverifikation
ISBN: 9783519003366

Prof. Dr. rer. nat. habil. Christoph Walther (auth.)

0 / 0

0 comments

Wie gefällt Ihnen dieses Buch?

Wie ist die Qualität der Datei?

Herunterladen Sie das Buch, um Ihre Qualität zu bewerten

Wie ist die Qualität der heruntergeladenen Dateien?

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 Programmiersprachensematik und formaler Logik illustriert. Prinzipielle Grenzen der "automatischen" Verifikation werden untersucht und die praktische Relevanz dieser Grenzen wird diskutiert.

Kategorien:

Engineering

Jahr:

2001

Auflage:

Verlag:

Vieweg+Teubner Verlag

Sprache:

german

Seiten:

211

ISBN 10: