Buy books written by Gerwin Klein Available at Bookswagon
Gerwin Klein

Gerwin Klein

3 results found
List viewGrid view
Sort By:
1.
Interactive Theorem Proving
Publisher: Springer
No Review Yet
AED588
Binding:
Paperback
Release:
01 Aug 2014
Language:
English
International Edition
Ships within 22-24 Days Explain..
Free Shipping in UAE.
2.
Concrete Semantics
Publisher: Springer
No Review Yet
AED583
Binding:
Paperback
Release:
10 Sep 2016
Language:
English
International Edition
Ships within 22-24 Days Explain..
Free Shipping in UAE.
3.
Interactive Theorem Proving
No Review Yet
AED481
Binding:
Paperback
Release:
20 Jul 2014
Language:
English
Out of Stock
Notify me when this book is in stockNotify Me
No more records found