Treffer: Deductive verification of object-oriented software

Titel:
Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction / by Benjamin Weiß
Beteiligt:
Weiß, Benjamin (Verfasser) 
Ausgabe:
Print on demand
Veröffent­licht:
Karlsruhe : KIT Scientific Publishing, 2011
Vertrieb:
Hannover : Technische Informationsbibliothek (TIB)
Umfang:
Online-Ressource
Format:
E-Book
Sprache:
Englisch
Anmerkungen:
Auch als gedr. Ausg. vorhanden
Schlagworte:
ISBN:
9783866446236

Zusatz-Informationen

Zusatz-Funktionen