Keywords:
Hochschulschrift
;
Forschungsbericht
;
Objektorientierte Programmierung
;
Java
;
Programmverifikation
;
Korrektheit
;
Automatisches Beweisverfahren
;
Spezifikationssprache
;
Design by Contract
;
Dynamische Logik
;
Deduktion
;
Abstrakte Interpretation
Type of Medium:
Online Resource
Pages:
Online-Ressource
Edition:
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
Language:
English
Note:
Auch als gedr. Ausg. vorhanden
,
Zugl.: Karlsruhe, KIT, Diss., 2010
,
Systemvoraussetzungen: Acrobat reader.