Sandrine Blazy

Sandrine Blazy

6 results found
List viewGrid view
Sort By:
1.
Static Analysis37 %
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
14 Sep 2015
Language:
English
Available
Ships within 12-14 Days Explain..
2.
Interactive Theorem Proving37 %
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
19 Jul 2013
Language:
English
Available
Ships within 12-14 Days Explain..
3.
Verified Software. Theories, Tools, and Experiments37 %
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
08 Nov 2016
Language:
English
Available
Ships within 12-14 Days Explain..
5.
Static Analysis2 % NR
No Review Yet
₹4,239
₹4,154
Binding:
Paperback
Release:
21 Sep 2015
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
6.
Interactive Theorem Proving1 % NR
No Review Yet
₹4,239
₹4,197
Binding:
Paperback
Release:
20 Jun 2013
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found