Udvidet returret til d. 31. januar 2025

Semantik und Programmverifikation - Christoph Walther - Bog

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.
  • 8-11 hverdage.
  • 6. december 2024
På lager

Normalpris

  • BLACK NOVEMBER

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

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.