Name: Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction
Price: 32.50 EUR
Availability: InStock
Author: Benjamin Weiß
ISBN: 9783866446236

Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstractionvon Benjamin Weiß

Sie sparen 0% des UVP sparen 0%

Buch, Taschenbuch
Versandfertig in 1-2 Wochen
32,50 €

Sprache:
Englisch

ISBN:
9783866446236

Verlag:
Karlsruher Institut Fur Technologie

Einband:
Taschenbuch

Seitenzahl:
292

Veröffentlicht:
18. August 2014

Abmessungen:
170x16x240 mm.

Gewicht:
500 g.

32,50 € inkl. MwSt.
~~32,50 €~~ UVP

Versandkostenfrei

Versandfertig in 1-2 Wochen.

Über Benjamin Weiß

Alle Bücher von Benjamin Weiß anzeigen

Kund*innenbewertungen von Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction

Andere kauften auch ...

Ähnliche Bücher finden

Das Buch Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction ist in den folgenden Kategorien erhältlich:

Wirtschaft & Schule > Computer & IT

Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction

Über Benjamin Weiß

Kund*innenbewertungen von Deductive verification of object-oriented software : dynamic frames, dynamic logic and predicate abstraction

Willkommen bei den Tales Buchfreunden und -freundinnen