|
|

avaa valikko

Lenore D Zuck | Akateeminen Kirjakauppa

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



Zuck, Lenore D.; Attie, Paul D.; Cortesi, Agostino; Mukhopadhyay, Supratik
Springer
2002
Pehmeäkantinen kirja
Verification, Model Checking, and Abstract Interpretation : 4th International Conference, VMCAI 2003, New York, NY, USA,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €