Edmund M Clarke Jr

Edmund M Clarke Jr

4 results found
List viewGrid view
Sort By:
1.
Handbook of Model Checking37 %
No Review Yet
₹13,440
₹8,467
Binding:
Paperback
Release:
14 Nov 2020
Language:
English
Available
Ships within 12-14 Days Explain..
2.
Logic for Programming, Artificial Intelligence, and Reasoning37 %
Available
Ships within 12-14 Days Explain..
3.
Model Checking38 %
Publisher: Mit Press
No Review Yet
₹6,563
₹4,069
Binding:
Hardback
Release:
20 Dec 1999
Language:
English
Available
Ships within 4-6 Days Explain..
4.
Handbook of Model Checking27 %
Publisher: Springer
No Review Yet
₹9,944
₹7,259
Binding:
Hardback
Release:
20 Mar 2018
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found