c. paulin mohring author - Books - 24x7 online bookstore Bookswagon.com

My Account
Log in New to Bookswagon?
Sign up
Log out
0
0

My Account

Refine your Search

By Price

Availability

Shipping Time

Source

Binding

Language

Publication Year

2 results found

Sort By:

1.

Interactive Theorem Proving and Program Development

37 %

Interactive Theorem Proving and Program Development

By: G. Huet, Pierre Castéran, Yves Bertot, C. Paulin-Mohring

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

1.0

(1)

₹8,759

₹5,518

Binding:	Paperback
Release:	15 Dec 2010
Language:	English

Available

Ships within 12-14 Days Explain..

2.

Interactive Theorem Proving and Program Development

37 %

Interactive Theorem Proving and Program Development

By: G. Huet, Pierre Castéran, Yves Bertot, C. Paulin-Mohring

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

No Review Yet

₹12,044

₹7,588

Binding:	Hardback
Release:	14 May 2004
Language:	English

Available

Ships within 12-14 Days Explain..

No more records found

ASK VIDYA

Open Chatbot