|
|

avaa valikko

Dragan Bosnacki | Akateeminen Kirjakauppa

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



Bosnacki, Dragan; Edelkamp, Stefan
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2007
Pehmeäkantinen kirja
Model Checking Software - 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Bosnacki, Dragan; Leue, Stefan
Springer
2002
Pehmeäkantinen kirja
Model Checking Software : 9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Bošnački, Dragan; Wijs, Anton
Springer International Publishing AG
2016
Pehmeäkantinen kirja
Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,20 €