Deductive Verification Of Object-Oriented Software

Name: Deductive Verification Of Object-Oriented Software
Price: 38.63 EUR
Author: Benjamin Weiss
ISBN: 9783866446236

Dynamic Frames, Dynamic Logic And Predicate Abstraction

by Benjamin Weiss

language: english

Publisher: Karlsruher Institut Fur Technologie, August of 2014 ‧ see product details

(0)

OUT OF STOCK OR NOT AVAILABLE

Deductive Verification Of Object-Oriented Software

Dynamic Frames, Dynamic Logic And Predicate Abstraction

by Benjamin Weiss
Property	Description
ISBN:	9783866446236
Publisher:	Karlsruher Institut Fur Technologie
Release Date:	August of 2014
Language:	English
Dimensions:	170 x 244 x 15 mm
Cover:	Softcover
Pages:	292
Format:	Book
Categories:	Books in English > Others
EAN:	9783866446236