Over 10 mio. titler Fri fragt ved køb over 499,- Hurtig levering 30 dages retur
Studiebog
Paperback version af Semantik und Programmverifikation af Christoph Walther

Semantik und Programmverifikation

Af
Bog E-bog
  • Format
  • Bog, paperback
  • Tysk

Normalpris

kr. 294,95

Medlemspris

kr. 274,95
  • Du sparer kr. 20,00
  • Fri fragt
Som medlem af Saxo Premium 20 timer køber du til medlemspris, får fri fragt og 20 timers streaming/md. i Saxo-appen. De første 7 dage er gratis for nye medlemmer, derefter koster det 99,-/md. og kan altid opsiges. Løbende medlemskab, der forudsætter betaling med kreditkort. Fortrydelsesret i medfør af Forbrugeraftaleloven. Mindstepris 0 kr. Læs mere

Beskrivelse

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.

Læs hele beskrivelsen
Detaljer
  • SprogTysk
  • Sidetal211
  • Udgivelsesdato29-11-2001
  • ISBN139783519003366
  • Forlag Vieweg+teubner Verlag
  • FormatPaperback
  • OriginalsprogTysk
Størrelse og vægt
coffee cup img
10 cm
book img
17 cm
24,4 cm

Anmeldelser

Vær den første!

Log ind for at skrive en anmeldelse.

Findes i disse kategorier...

Se andre, der handler om...

Handel Logik Informatik Semantik Programmiersprachen Beweistechniken Programmverifikation Korrektheit von Programmen Funktionale Programme Softwareengineering