|
|

avaa valikko

Daniel Kroening | Akateeminen Kirjakauppa

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



Kroening, Daniel; Strichman, Ofer
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Kovakantinen kirja
Decision Procedures - An Algorithmic Point of View
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
66,10 €
Kroening, Daniel; Strichman, Ofer
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2010
Pehmeäkantinen kirja
Decision Procedures - An Algorithmic Point of View
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
52,50 €
Kroening, Daniel; Păsăreanu, Corina S.
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Pa
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Kroening, Daniel; Păsăreanu, Corina S.
Springer International Publishing AG
2015
Pehmeäkantinen kirja
Computer Aided Verification - 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015, Proceedings, Pa
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Kroening, Daniel; Strichman, Ofer
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2017
Kovakantinen kirja
Decision Procedures - An Algorithmic Point of View
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
76,00 €
Kroening, Daniel; Strichman, Ofer
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2018
Pehmeäkantinen kirja
Decision Procedures - An Algorithmic Point of View
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Barner, Sharon; Harris, Ian; Kroening, Daniel; Raz, Orna
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2011
Pehmeäkantinen kirja
Hardware and Software: Verification and Testing - 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, Octo
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Chockler, Hana; Kroening, Daniel; Mariani, Leonardo; Sharygina, Natasha
Springer International Publishing AG
2015
Kovakantinen kirja
Validation of Evolving Software
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Giannakopoulou, Dimitra; Kroening, Daniel
Springer International Publishing AG
2014
Pehmeäkantinen kirja
Verified Software: Theories, Tools and Experiments - 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
49,20 €
Chockler, Hana; Kroening, Daniel; Mariani, Leonardo; Sharygina, Natasha
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Validation of Evolving Software
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Jr., Edmund M. Clarke; Grumberg, Orna; Kroening, Daniel; Peled, Doron; Veith, Helmut
MIT Press Ltd
2018
Kovakantinen kirja
Model Checking
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
79,90 €

Näytä lisää...