Benutzerdefiniertes Cover
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction / by Benjamin Weiß
Resource type: Ressourcentyp: BuchBuchSprache: Englisch Verlag: Karlsruhe : KIT Scientific Publishing, 2011Beschreibung: XXI, 269 SISBN:- 9783866446236
- Objektorientierte Programmierung
- Java Programmiersprache
- Programmverifikation
- Korrektheit
- Automatisches Beweisverfahren
- Spezifikationssprache
- Universitätsverlag Karlsruhe
- KIT Scientific Publishing
- software specification
- software verification
- design by contract
- theorem proving
- abstract interpretation
- 005.14 22/ger
- 005.117 22/ger
- 005.131 22/ger
- 004
- 2
| Medientyp | Heimatbibliothek | Sammlung | Standort | Signatur | Status | Fälligkeitsdatum | Barcode | Vormerkungen | |
|---|---|---|---|---|---|---|---|---|---|
| Freihandbestand ausleihbar | Bibliothek Campus Süd | inf 11 | Lesesaal Wirtschaftswissenschaften und Informatik (LSW) | 2011 A 888 | Verfügbar | 50673041090 |
Anzahl Vormerkungen: 0
Archivierung prüfen 20221111 DE-640 2 pdager