Semantik und Programmverifikation di Christoph Walther edito da Vieweg+Teubner Verlag
Alta reperibilità

Semantik und Programmverifikation

EAN:

9783519003366

ISBN:

3519003368

Pagine:
216
Formato:
Paperback
Lingua:
Tedesco
Acquistabile con o la

Descrizione 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.

Spedizione gratuita
€ 61.65€ 64.90
Risparmi:€ 3.25(5%)
o 3 rate da € 20.55 senza interessi con
Disponibile in 10-12 giorni
servizio Prenota Ritiri su libro Semantik und Programmverifikation
Prenota e ritira
Scegli il punto di consegna e ritira quando vuoi

Recensioni degli utenti

e condividi la tua opinione con gli altri utenti