Schlagwort(e):
Hochschulschrift
;
Forschungsbericht
;
Objektorientierte Programmierung
;
Java
;
Programmverifikation
;
Korrektheit
;
Automatisches Beweisverfahren
;
Spezifikationssprache
;
Design by Contract
;
Dynamische Logik
;
Deduktion
;
Abstrakte Interpretation
Materialart:
Online-Ressource
Seiten:
Online-Ressource
Ausgabe:
Print on demand
ISBN:
9783866446236
URL:
https://digbib.bibliothek.kit.edu/volltexte/1000021694
URL:
https://edocs.tib.eu/files/e01fn12/646609009.pdf
DDC:
005.14
Sprache:
Englisch
Anmerkung:
Auch als gedr. Ausg. vorhanden
,
Zugl.: Karlsruhe, KIT, Diss., 2010
,
Systemvoraussetzungen: Acrobat reader.