D. Peled

D. Peled

4 results found
List viewGrid view
Sort By:
1.
Computer Aided Verification37 %
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
23 Jun 1999
Language:
English
Available
Ships within 12-14 Days Explain..
2.
Verification, Model Checking, and Abstract Interpretation54 %
Publisher: Springer
No Review Yet
₹5,790
₹2,663
Binding:
Paperback
Release:
26 Feb 2008
Language:
English
Available
Ships within 1-2 Days Explain..
3.
Engineering Dependable Software Systems1 % NR
Publisher: IOS Press
No Review Yet
₹10,925
₹10,765
Binding:
HARDCOVER
Release:
01 Jun 2013
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
4.
DEPENDABLE SOFTWARE SYSTEMS ENGINEERING2 % NR
Publisher: IOS Press
No Review Yet
₹10,925
₹10,747
Binding:
HARDCOVER
Release:
31 May 2015
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found