Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Science & Mathematics > Mathematics > Mathematical foundations

Buy Now

Interactive Theorem Proving and Program Development - Coq'Art: The Calculus of Inductive Constructions (Paperback, Softcover reprint of hardcover 1st ed. 2004) Loot Price: R2,442

Discovery Miles 24 420

Repayment Terms: R229 pm x 12*

Add to cart

Interactive Theorem Proving and Program Development - Coq'Art: The Calculus of Inductive Constructions (Paperback,...

Interactive Theorem Proving and Program Development - Coq'Art: The Calculus of Inductive Constructions (Paperback, Softcover reprint of hardcover 1st ed. 2004)

Yves Bertot; Foreword by G. Huet; Pierre Casteran; Foreword by C. Paulin-Mohring

Series: Texts in Theoretical Computer Science. An EATCS Series

(sign in to rate)

Loot Price R2,442 Discovery Miles 24 420 | Repayment Terms: R229 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

A practical introduction to the development of proofs and certified programs using Coq.

An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Texts in Theoretical Computer Science. An EATCS Series
Release date:	December 2010
First published:	2004
Authors:	Yves Bertot
Foreword by:	G. Huet
Authors:	Pierre Casteran
Foreword by:	C. Paulin-Mohring
Dimensions:	235 x 155 x 26mm (L x W x T)
Format:	Paperback
Pages:	472
Edition:	Softcover reprint of hardcover 1st ed. 2004
ISBN-13:	978-3-642-05880-6
Categories:	Books > Computing & IT > General theory of computing > Systems analysis & design Books > Computing & IT > Computer programming > Software engineering Books > Science & Mathematics > Mathematics > Mathematical foundations > General Promotions
LSN:	3-642-05880-9
Barcode:	9783642058806