|
|

avaa valikko

Hana Chockler | Akateeminen Kirjakauppa

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



Hardware and Software: Verification and Testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel,
Chockler, Hana; Hu, Alan J.
Springer
2009
Pehmeäkantinen kirja
Hardware and Software: Verification and Testing : 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Validation of Evolving Software
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 €
Coverage Metrics for Model Checking
Chockler, Hana
LAP Lambert Academic Publishing
2011
Pehmeäkantinen kirja
Coverage Metrics for Model Checking
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
100,60 €
Validation of Evolving Software
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 €
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC
Chockler, Hana; Weissenbacher, Georg
Springer
2018
Pehmeäkantinen kirja
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC
Chockler, Hana; Weissenbacher, Georg
Springer
2018
Pehmeäkantinen kirja
Computer Aided Verification : 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €