Saat noutopistetoimituksen veloituksetta*, kun tilauksesi arvo ylittää 59 €!
*Koskee yksityisasiakkaiden tilauksia, jotka toimitetaan Suomeen.
|
|

avaa valikko

Daniel Kroening | Booky.fi

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



Kroening, Daniel; Strichman, Ofer
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2008
Kovakantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
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
Saatavuus: Loppuunmyyty
Loppuunmyyty
Decision Procedures - An Algorithmic Point of View
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
52,50 €
Kroening, Daniel; Păsăreanu, Corina S.
Springer
2015
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Kroening, Daniel; Păsăreanu, Corina S.
Springer
2015
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Computer Aided Verification : 27th International Conference, CAV 2015, San Francisco, CA, USA, July 18-24, 2015,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Kroening, Daniel; Strichman, Ofer
Springer
2017
Kovakantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Decision Procedures : An Algorithmic Point of View
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
81,00 €
Kroening, Daniel; Strichman, Ofer
Springer
2018
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Decision Procedures : An Algorithmic Point of View
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
61,10 €
Barner, Sharon; Harris, Ian; Kroening, Daniel; Raz, Orna
Springer
2011
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Hardware and Software: Verification and Testing : 6th International Haifa Verification Conference, HVC 2010, Haifa, Israel,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Chockler, Hana; Kroening, Daniel; Mariani, Leonardo; Sharygina, Natasha
Springer International Publishing AG
2015
Kovakantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Validation of Evolving Software
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Giannakopoulou, Dimitra; Kroening, Daniel
Springer
2014
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Verified Software: Theories, Tools and Experiments : 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18,
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
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
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
Saatavuus: Painos loppu Tuote on tilapäisesti loppunut ja sen saatavuus on epävarma.
Model Checking
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
79,80 €

Näytä lisää...