Hoppa till sidans huvudinnehåll

Dragan Bošnački – författare

Visar alla böcker från författaren .
3 produkter
Dragan Bošnački, Anton Wijs - Model Checking Software, Häftad
Del 9641 - Lecture Notes in Computer Science

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

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar

Dragan Bosnacki, Stefan Leue - Model Checking Software, Häftad

Model Checking Software

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

AvDragan Bosnacki,Stefan Leue

Häftad, Engelska, 2002

729 kr

Skickas inom 10-15 vardagar

Dragan Bosnacki, Stefan Edelkamp - Model Checking Software, Häftad

Model Checking Software

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

AvDragan Bosnacki,Stefan Edelkamp

Häftad, Engelska, 2007

729 kr

Skickas inom 10-15 vardagar