Buy books written by Thierry Coquand Available at BooksWagon

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

Thierry Coquand

Thierry Coquand

2 results found

Sort By:

1.

Types for Proofs and Programs

NR

Types for Proofs and Programs

By: Peter Dybjer, Thierry Coquand, Jan Smith, Bengt Nordström

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

No Review Yet

₹5,387

Binding:	Paperback
Release:	13 Dec 2000
Language:	English

International Edition

Ships within 12-14 Days Explain..

Free Shipping in India and low cost Worldwide.

2.

Types for Proofs and Programs

Types for Proofs and Programs

By: Peter Dybjer, Thierry Coquand, Bengt Nordstrom

Publisher: Springer

No Review Yet

₹2,201

Binding:	Paperback
Release:	15 Jan 2014

Out of Stock

Notify me when this book is in stockNotify Me

No more records found

ASK VIDYA

Open Chatbot