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

Your cart is empty

Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic

Buy Now

Interactive Theorem Proving and Program Development - Coq'Art: The Calculus of Inductive Constructions (Hardcover, 2004 ed.) Loot Price: R3,321
Discovery Miles 33 210
Repayment Terms: R311 pm x 12*
Add to cart
Interactive Theorem Proving and Program Development - Coq'Art: The Calculus of Inductive Constructions (Hardcover, 2004...

Interactive Theorem Proving and Program Development - Coq'Art: The Calculus of Inductive Constructions (Hardcover, 2004 ed.)

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 R3,321 Discovery Miles 33 210 | Repayment Terms: R311 pm x 12*

Bookmark and Share

Expected to ship within 10 - 15 working days

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: May 2004
First published: 2004
Authors: Yves Bertot
Foreword by: G. Huet
Authors: Pierre Casteran
Foreword by: C. Paulin-Mohring
Dimensions: 235 x 155 x 36mm (L x W x T)
Format: Hardcover
Pages: 472
Edition: 2004 ed.
ISBN-13: 978-3-540-20854-9
Categories: Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic
LSN: 3-540-20854-2
Barcode: 9783540208549

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!
Books | DVD | Games | Music | Computers | Electronics | Fashion | Sport | Kitchen | Home | Pets | DIY | Toys | Baby | Health & Beauty | Stationery | Arts & Crafts
Need help?
My account
Services
Networking
Partners