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

AvDragan Bošnački,Anton Wijs m. fl.

Häftad, Engelska, 2016

719 kr

Skickas inom 10-15 vardagar

Model Checking Software

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

AvDragan Bosnacki,Stefan Leue

Häftad, Engelska, 2002

719 kr

Skickas inom 10-15 vardagar

Model Checking Software

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

AvDragan Bosnacki,Stefan Edelkamp

Häftad, Engelska, 2007

719 kr

Skickas inom 10-15 vardagar