Name: Verification, Model Checking, and Abstract Interpretation
Price: 47.00 EUR
Availability: InStock
Author: Agostino Cortesi
ISBN: 9783540436317

Verification, Model Checking, and Abstract Interpretation von Agostino Cortesi

Sie sparen 12% des UVP sparen 12%

Taschenbuch
Versandfertig in 1-2 Wochen
47,00 €

Sprache:
Englisch

ISBN:
9783540436317

Verlag:
Springer Berlin Heidelberg

Einband:
Taschenbuch

Seitenzahl:
348

Veröffentlicht:
24 April 2002

Abmessungen:
155x19x235 mm.

Gewicht:
528 g.

47,00 € inkl. MwSt.
~~53,49 €~~ UVP

Versandkostenfrei

Versandfertig in 1-2 Wochen.

Über Agostino Cortesi

Alle Bücher von Agostino Cortesi anzeigen

Kund*innenbewertungen von Verification, Model Checking, and Abstract Interpretation

Andere kauften auch ...

Ähnliche Bücher finden

Das Buch Verification, Model Checking, and Abstract Interpretation ist in den folgenden Kategorien erhältlich:

Wirtschaft & Schule > Computer & IT
> >
> >
> >

Verification, Model Checking, and Abstract Interpretation

Über Agostino Cortesi

Kund*innenbewertungen von Verification, Model Checking, and Abstract Interpretation

Willkommen bei den Tales Buchfreunden und -freundinnen