|
|

avaa valikko

Fabio Somenzi | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 7 tuotetta
Haluatko tarkentaa hakukriteerejä?



Hachtel, Gary D.; Somenzi, Fabio
Springer-Verlag New York Inc.
2006
Pehmeäkantinen kirja
Logic Synthesis and Verification Algorithms
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
70,80 €
Wang, Chao; Hachtel, Gary D.; Somenzi, Fabio
Springer
2006
Kovakantinen kirja
Abstraction Refinement for Large Scale Model Checking
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €
Hunt, Jr., Warren A.; Somenzi, Fabio
Springer
2003
Pehmeäkantinen kirja
Computer Aided Verification : 15th International Conference, CAV 2003, Boulder, CO, USA, July 8-12, 2003, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Wang, Chao; Hachtel, Gary D.; Somenzi, Fabio
SPRINGER VERLAG GMBH
2008
Kovakantinen kirja
Abstraction Refinement for Large Scale Model Checking
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
63,10 €
Hachtel, Gary D.; Somenzi, Fabio
Springer
2013
Pehmeäkantinen kirja
Logic Synthesis and Verification Algorithms
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
86,00 €
Hachtel, Gary D.; Somenzi, Fabio
Kluwer Academic Publishers
1996
Kovakantinen kirja
Logic Synthesis and Verification Algorithms
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
91,00 €
Wang, Chao; Hachtel, Gary D.; Somenzi, Fabio
Springer
2014
Pehmeäkantinen kirja
Abstraction Refinement for Large Scale Model Checking
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
113,00 €