Handbook of Model Checking
Edmund M. Clarke Jr., Thomas A. Henzinger, Helmut Veith, Roderick Bloem
Inbunden, 2018
2 069 kr
Del i serien Lecture Notes in Computer Science
749 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Edmund M. Clarke Jr., Thomas A. Henzinger, Helmut Veith, Roderick Bloem
Inbunden, 2018
2 069 kr
Krishnendu Chatterjee, Thomas A. Henzinger
Häftad, 2010
749 kr
Antonin Kucera, Thomas A. Henzinger, Jaroslav Nešetřil, Tomas Vojnar, David Antos
Häftad, 2013
749 kr
Alexandros Moukas, Carles Sierra, Fredrik Ygge
Häftad, 2000
749 kr
Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki
Häftad, 2026
1 219 kr
Anna Schroder, Xiang Li, Tanveer Syeda-Mahmood, Neil P. Oxtoby, Alexandra Young, Alessa Hering, Tejas S. Mathai, Pritam Mukherjee, Sven Kuckertz, Tiantian He, Isaac Llorente-Saguer, Andreas Maier, Satyananda Kashyap, Hayit Greenspan, Anant Madabhushi
Häftad, 2025
969 kr
Maria Domenica Di Benedetto, Maria D. Di Benedetto, Alberto L. Sangiovanni-Vincentelli
Häftad, 2001
1 479 kr
Manfred Morari, Lothar Thiele, Francesca Rossi
Häftad, 2005
1 479 kr