Dragan Bošnački – författare

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

3 produkter

1. 

   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

   Häftad, 2016

   739 kr

   Lägg i varukorg

2. 

   Model Checking Software

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

   Av Dragan Bosnacki, Stefan Leue

   Häftad, 2002

   739 kr

   Lägg i varukorg

3. 

   Model Checking Software

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

   Av Dragan Bosnacki, Stefan Edelkamp

   Häftad, 2007

   739 kr

   Lägg i varukorg