full screen
Joakim Wright

Joakim Wright

2 results found
List viewGrid view
Sort By:
1.
Refinement Calculus
Publisher: Springer
No Review Yet
AED345
Binding:
Paperback
Release:
13 Apr 1998
Language:
English
Available
Ships within 1-2 Days Explain..
2.
Theorem Proving in Higher Order Logics
Out of Stock
Notify me when this book is in stockNotify Me
No more records found