Buy Pierre Castéran Books Online and get Upto✔50% Off at Bookswagon

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

Login & Sign up

Refine your Search

By Price

Availability

Shipping Time

Source

Binding

Language

Publication Year

Pierre Castéran

Pierre Castéran

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

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

1.0

(1)

₹8,492

₹5,350

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

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

No Review Yet

₹11,677

₹7,357

Binding:	Hardback
Release:	14 May 2004
Language:	English

Available

Ships within 12-14 Days Explain..

No more records found

ASK VIDYA

Open Chatbot