Große Auswahl an günstigen Büchern
Schnelle Lieferung per Post und DHL

Semantik und Programmverifikation

Über 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.

Mehr anzeigen
  • Sprache:
  • Deutsch
  • ISBN:
  • 9783519003366
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 216
  • Veröffentlicht:
  • 29. November 2001
  • Abmessungen:
  • 170x12x244 mm.
  • Gewicht:
  • 382 g.
  Versandkostenfrei
  Sofort lieferbar

Beschreibung von 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.

Kund*innenbewertungen von Semantik und Programmverifikation



Ähnliche Bücher finden
Das Buch Semantik und Programmverifikation ist in den folgenden Kategorien erhältlich:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.