Deductive verification of object-oriented software
Subtitle: dynamic frames, dynamic logic and predicate abstraction
By: by Benjamin Wei©
Edition: Print on demand
Publisher: Technische Informationsbibliothek u. Universita tsbibliothek; KIT Scientific Publishing
Published: 2011
Place of publication: Hannover; Karlsruhe
Language: eng
Number of pages: 294
ISBN-13: 9783866446236
Notes: Auch als gedr. Ausg. vorhanden