|
|

avaa valikko

Alessandro Cimatti | Akateeminen Kirjakauppa

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



Theory and Applications of Satisfiability Testing -- SAT 2012 : 15th International Conference, Trento, Italy, June 17-20,
Cimatti, Alessandro; Sebastiani, Roberto
Springer
2012
Pehmeäkantinen kirja
Theory and Applications of Satisfiability Testing -- SAT 2012 : 15th International Conference, Trento, Italy, June 17-20,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Software Engineering and Formal Methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017,
Cimatti, Alessandro; Sirjani, Marjan
Springer
2017
Pehmeäkantinen kirja
Software Engineering and Formal Methods : 15th International Conference, SEFM 2017, Trento, Italy, September 4–8, 2017,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Formal Methods for Industrial Critical Systems : 28th International Conference, FMICS 2023, Antwerp, Belgium, September
Cimatti, Alessandro; Titolo, Laura
Springer
2023
Pehmeäkantinen kirja
Formal Methods for Industrial Critical Systems : 28th International Conference, FMICS 2023, Antwerp, Belgium, September
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
66,10 €
Formal Methods for Hardware Verification : 6th International School on Formal Methods for the Design of Computer,
Bernardo, Marco; Cimatti, Alessandro
Springer
2006
Pehmeäkantinen kirja
Formal Methods for Hardware Verification : 6th International School on Formal Methods for the Design of Computer,
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €