Model Checking Software
Dragan Bosnacki, Stefan Leue
₹5,510
Results for “Model Checking”
Showing 1–24 of 40 books
Model Checking Software
Klaus Havelund, Rupak Majumdar, Jens Palsberg
₹5,568
Model Checking Software
Jaco Van Der Pol, Michael Weber
₹5,542
Model Checking Software
Alex Groce, Madanlal Musuvathi
₹5,701
Model Checking Software
Susanne Graf, Laurent Mounier
₹5,551
Model Checking Software
Bernd Fischer, Jaco Geldenhuys
₹3,947
Model Checking Software
Fabrizio Biondi, Thomas Given-Wilson, Axel Legay
₹4,282
Model Checking Software
International SPIN Workshop (8th 2001 Toronto, Ont.)
₹4,351
Model Checking Software
Sriram K. Rajamani
₹4,264
Model Checking Software
Alastair Donaldson
₹5,361
Model Checking Quantum Systems
Ying/Feng
₹2,754
Principles of Model Checking
Christel Baier, Joost-Pieter Katoen
₹7,769
Model Checking, second edition
Orna Grumberg, Daniel Kroening, Edmund M. Clarke, Doron Peled, Helmut Veith
₹4,198
Model Checking and Artificial Intelligence
Ron Van Der Meyden, Jan-Georg Smaus
₹5,449
Model Checking, Synthesis, and Learning
Ernst-Rüdiger Olderog, Bernhard Steffen, Wang Yi
₹5,060
Model-Checking Based Data Retrieval
Elisa Quintarelli
₹4,270
Model Checking and Artificial Intelligence
MoChArt 2008 (2008 Patrai, Greece)
₹3,916
Verification, Model Checking, and Abstract Interpretation
Agostino Cortesi
₹5,666
Verification, Model Checking, and Abstract Interpretation
Ranjit Jhala, David Schmidt
₹5,609
Verification, Model Checking, and Abstract Interpretation
Viktor Kuncak, Andrey Rybalchenko
₹5,627
Verification, Model Checking, and Abstract Interpretation
Lenore D. Zuck, Paul D. Attie, Agostino Cortesi
₹5,662
Verification, Model Checking, and Abstract Interpretation
Ulrich Koschorke
₹4,345
Verification, Model Checking, and Abstract Interpretation
Fritz Henglein, Sharon Shoham, Yakir Vizel
₹7,012
Verification, Model Checking, and Abstract Interpretation
Fritz Henglein, Sharon Shoham, Yakir Vizel
₹2,985