Udvidet returret til d. 31. januar 2025

Semantik und Programmverifikation

Bag om 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.

Vis mere
  • Sprog:
  • Tysk
  • ISBN:
  • 9783519003366
  • Indbinding:
  • Paperback
  • Sideantal:
  • 216
  • Udgivet:
  • 29. november 2001
  • Størrelse:
  • 170x12x244 mm.
  • Vægt:
  • 382 g.
  • BLACK NOVEMBER
Leveringstid: 8-11 hverdage
Forventet levering: 6. december 2024

Beskrivelse af 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.

Brugerbedømmelser af Semantik und Programmverifikation



Find lignende bøger
Bogen Semantik und Programmverifikation findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.