|
|

avaa valikko

Sanjit A Seshia | Akateeminen Kirjakauppa

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



Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
Parthasarathy, Madhusudan; Seshia, Sanjit A.
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2012
Pehmeäkantinen kirja
Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Verified Software: Theories, Tools, and Experiments - 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-
Gurfinkel, Arie; Seshia, Sanjit A.
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Verified Software: Theories, Tools, and Experiments - 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €