Chao Wang
Abstraction Refinement for Large Scale Model Checking
BuchCHF 181.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V106:
Fremdlagertitel. Lieferzeit unbestimmt
Produktdetails
Weitere Autoren: Hachtel, Gary D. / Somenzi, Fabio
- ISBN: 978-0-387-34155-2
- EAN: 9780387341552
- Produktnummer: 2306907
- Verlag: Springer Nature
- Sprache: Englisch
- Erscheinungsjahr: 2006
- Seitenangabe: 179 S.
- Masse: H24.3 cm x B15.5 cm x D1.6 cm 467 g
- Auflage: 2006
- Gewicht: 467
73 weitere Werke von Chao Wang:
Bewertungen
0 von 0 Bewertungen
Anmelden
Keine Bewertungen gefunden. Seien Sie der Erste und teilen Sie Ihre Erkenntnisse mit anderen.