Buy books written by Gerwin Klein Available at BooksWagon

Refine your Search

By Price

Availability

Shipping Time

Source

Binding

Language

Publication Year

Gerwin Klein

4 results found

Sort By:

36 %

Concrete Semantics

By: Tobias Nipkow, Gerwin Klein

Publisher: Springer International Publishing AG

No Review Yet

₹5,574

₹3,567

Binding:	Paperback
Release:	10 Sep 2016
Language:	English

Available

Ships within 14-16 Days Explain..

37 %

Concrete Semantics

By: Tobias Nipkow, Gerwin Klein

Publisher: Springer International Publishing AG

No Review Yet

₹8,362

₹5,268

Binding:	Hardback
Release:	15 Dec 2014
Language:	English

Available

Ships within 14-16 Days Explain..

36 %

Interactive Theorem Proving

By: Ruben Gamboa, Gerwin Klein

Publisher: Springer International Publishing AG

No Review Yet

₹5,574

₹3,567

Binding:	Paperback
Release:	01 Aug 2014
Language:	English

Available

Ships within 14-16 Days Explain..

Interactive Theorem Proving

By: Ruben Gamboa, Gerwin Klein

Publisher: Springer

No Review Yet

₹2,201

Binding:	Paperback
Release:	29 Jul 2014
Language:	English

Out of Stock

Notify me when this book is in stockNotify Me

No more records found