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

avaa valikko

Helmut Veith | Booky.fi

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



Grumberg, Orna; Veith, Helmut
Springer
2008
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
25 Years of Model Checking : History, Achievements, Perspectives
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
36,20 €
Cervesato, Iliano; Veith, Helmut; Voronkov, Andrei
Springer
2008
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €
Dawar, Anuj; Veith, Helmut
Springer
2010
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Computer Science Logic : 24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Sharygina, Natasha; Veith, Helmut
Springer
2013
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Computer Aided Verification : 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,90 €
Clarke, Edmund M.; Henzinger, Thomas A.; Veith, Helmut; Bloem, Roderick
Springer
2018
Kovakantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa.
Handbook of Model Checking
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
128,30 €
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 €
Clarke, Edmund M.; Henzinger, Thomas A.; Veith, Helmut; Bloem, Roderick
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja
Saatavuus: Tilaustuote Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa
Handbook of Model Checking
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
128,30 €