Hoppa till sidans huvudinnehåll

Dragan Bošnački - Böcker

Visar alla böcker från författaren Dragan Bošnački.
3 produkter

Model Checking Software

23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings

Av Dragan Bošnački, Anton Wijs m. fl

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar

Model Checking Software

9th International SPIN Workshop Grenoble, France, April 11-13, 2002 Proceedings

Av Dragan Bosnacki, Stefan Leue

Häftad, Engelska, 2002

729 kr

Skickas inom 10-15 vardagar

Model Checking Software

14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings

Av Dragan Bosnacki, Stefan Edelkamp

Häftad, Engelska, 2007

729 kr

Skickas inom 10-15 vardagar