Dragan Bošnački - Böcker

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

3 produkter

Kategorier

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

739 kr

Skickas inom 10-15 vardagar

Del 2318

Del 2318 - Lecture Notes in Computer Science

Model Checking Software

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

Av Dragan Bosnacki, Stefan Leue

Häftad, Engelska, 2002

739 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

739 kr

Skickas inom 10-15 vardagar