Treffer: Deductive verification of object-oriented software

Titel:
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Beteiligt:
Weiß, Benjamin (Verfasser) 
Veröffent­licht:
[Erscheinungsort nicht ermittelbar] : KIT Scientific Publishing, 2011
Vertrieb:
The Hague : OAPEN FOUNDATION
Umfang:
1 Online-Ressource (xxi, 269 p. p.)
Publikationstyp:
E-Book
Sprache:
Englisch
Schlagworte:
ISBN:
9783866446236
Open Access Rechte:
Open Access

Zusatz-Informationen

Zusatz-Funktionen