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