Benutzerdefiniertes Cover
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction / by Benjamin Weiß
Resource type: Ressourcentyp: Buch (Online)Buch (Online)Sprache: Englisch Verlag: Karlsruhe : KIT Scientific Publishing, 2011Auflage: Print on demandBeschreibung: Online-RessourceISBN:- 9783866446236
- Objektorientierte Programmierung
- Java Programmiersprache
- Programmverifikation
- Korrektheit
- Automatisches Beweisverfahren
- Spezifikationssprache
- Design by Contract
- Dynamische Logik
- Deduktion
- Abstrakte Interpretation
- Universitätsverlag Karlsruhe
- KIT Scientific Publishing
- software specification
- software verification
- design by contract
- theorem proving
- abstract interpretation
- 005.14 22/ger
- 005.131 22/ger
- 005.117 22/ger
- 004
Dieser Titel hat keine Exemplare
Systemvoraussetzungen: Acrobat reader.