Jasmin Blanchette

Jasmin Blanchette

6 results found
List viewGrid view
Sort By:
1.
Automated Reasoning37 %
No Review Yet
₹3,840
₹2,419
Binding:
Paperback
Release:
17 Jul 2022
Language:
English
Available
Ships within 12-14 Days Explain..
2.
Tests and Proofs37 %
Publisher: Springer
No Review Yet
₹4,608
₹2,903
Binding:
Paperback
Release:
01 Jul 2015
Language:
English
Available
Ships within 12-14 Days Explain..
3.
Interactive Theorem Proving37 %
Publisher: Springer
No Review Yet
₹4,800
₹3,024
Binding:
Paperback
Release:
07 Aug 2016
Language:
English
Available
Ships within 12-14 Days Explain..
4.
C++ GUI Programming with Qt 416 % NR
Publisher: Prentice Hall
4.6 (8)
₹4,835
₹4,085
Binding:
Hardback
Release:
01 Feb 2008
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
5.
C++ GUI Programming with Qt421 %
Publisher: Pearson Education
No Review Yet
₹750
₹593
Binding:
Paperback
Release:
2009
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:
15 Aug 2016
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found