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

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,513
Discovery Miles 25 130
Repayment Terms: R236 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,513 Discovery Miles 25 130 | Repayment Terms: R236 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: 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
LSN: 3-642-05880-9
Barcode: 9783642058806

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!

You might also like..

Primary Maths for Scotland Textbook 1C - For Curriculum for Excellence Primary Maths (Paperback, Edition): Craig Lowther,...
Primary Maths for Scotland Textbook 1C…
Craig Lowther, Antoinette Irwin, … Paperback R326 R248 Discovery Miles 2 480
Primary Maths for Scotland Textbook 2A - For Curriculum for Excellence Primary Maths (Paperback, Edition): Craig Lowther,...
Primary Maths for Scotland Textbook 2A…
Craig Lowther, Antoinette Irwin, … Paperback R389 R295 Discovery Miles 2 950
The Facts Matter - Essays on Logic and Cognition in Honour of Rineke Verbrugge (Paperback): Sujata Ghosh
The Facts Matter - Essays on Logic and…
Sujata Ghosh Paperback R403 Discovery Miles 4 030
Best Books gegradeerde leesreeks: Vlak 1 Boek 2: Gr 2: Leesboek - Huistaal (Afrikaans, Paperback): Best Books
Best Books gegradeerde leesreeks: Vlak 1…
Best Books Paperback R90 R78 Discovery Miles 780
From Quantum Information to Musical Semantics (Paperback): Maria Luisa Dalla Chiara, Roberto Giuntini, Elenora Negri
From Quantum Information to Musical…
Maria Luisa Dalla Chiara, Roberto Giuntini, … Paperback R499 Discovery Miles 4 990
The Art of Logic - How to Make Sense in a World that Doesn't (Paperback): Eugenia Cheng
The Art of Logic - How to Make Sense in…
Eugenia Cheng Paperback  (1)
 R355 R284 Discovery Miles 2 840
Student-friendly basic mathematics (Book, Reissue): Magda Botha
Student-friendly basic mathematics
Magda Botha Book R380 R337 Discovery Miles 3 370
The Maths That Made Us - how numbers created civilisation (Paperback): Michael Brooks
The Maths That Made Us - how numbers…
Michael Brooks Paperback R315 R252 Discovery Miles 2 520
Foundation Maths (Paperback, 7th edition): Anthony Croft, Robert Davison
Foundation Maths
Anthony Croft, Robert Davison Paperback R1,746 Discovery Miles 17 460
FET College Series Mathematical Literacy NCV Level 4 Workbook (Paperback, 2nd ed): A.W. Trollope, M. Trollope
FET College Series Mathematical Literacy…
A.W. Trollope, M. Trollope Paperback R266 R235 Discovery Miles 2 350
Enterprise Level Security 1 & 2 (Paperback): Kevin Foltz, William R. Simpson
Enterprise Level Security 1 & 2
Kevin Foltz, William R. Simpson Paperback R1,421 Discovery Miles 14 210
FET College Series Mathematics for NQF Level 4 Student Book (Paperback): Adhir Hurjunlal, Ashley Naicker
FET College Series Mathematics for NQF…
Adhir Hurjunlal, Ashley Naicker Paperback R452 R398 Discovery Miles 3 980

See more
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