Semantik Und Programmverifikation
| AUTHOR | Walther, Christoph |
| PUBLISHER | Vieweg+teubner Verlag (11/29/2001) |
| PRODUCT TYPE | Paperback (Paperback) |
Description
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.
Show More
Product Format
Product Details
ISBN-13:
9783519003366
ISBN-10:
3519003368
Binding:
Paperback or Softback (Trade Paperback (Us))
Content Language:
German
More Product Details
Page Count:
211
Carton Quantity:
20
Product Dimensions:
6.69 x 0.46 x 9.61 inches
Weight:
0.77 pound(s)
Country of Origin:
US
Subject Information
BISAC Categories
Technology & Engineering | Engineering (General)
Technology & Engineering | General
Dewey Decimal:
620
Descriptions, Reviews, Etc.
jacket back
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.
Show More
publisher marketing
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.
Show More
List Price $39.99
Your Price
$39.59