Joakim Wright

Joakim Wright

2 results found
List viewGrid view
Sort By:
1.
Refinement Calculus38 %
Publisher: Springer
No Review Yet
₹9,300
₹5,766
Binding:
Paperback
Release:
13 Apr 1998
Language:
English
Available
Ships within 1-2 Days Explain..
2.
Theorem Proving in Higher Order Logics22 %
Publisher: Springer
No Review Yet
₹5,514
₹4,301
Binding:
Paperback
Release:
07 Aug 1996
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found