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

Your cart is empty
Browse All Departments
  • All Departments
Price
  • R2,500 - R5,000 (2)
  • -
Status
Brand

Showing 1 - 2 of 2 matches in All Departments

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
R2,513 Discovery Miles 25 130
Add to cart
Ships in 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.

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
R3,527 Discovery Miles 35 270
Add to cart
Ships in 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.

 Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Loot (Paperback, New edition): Nadine Gordimer
Loot
Nadine Gordimer Paperback  (2)
 R398 R330 Discovery Miles 3 300
First Aid Dressing No 5:
First Aid Dressing No 5
R9 Discovery Miles 90
Baby Dove Body Wash 400ml:
Baby Dove Body Wash 400ml
R87 Discovery Miles 870
LEO Envelope Retail Pack of 25 (C5 White Self Seal):
LEO Envelope Retail Pack of 25 (C5 White…
R37 Discovery Miles 370
First Aid Dressing No 3:
First Aid Dressing No 3
R5 Discovery Miles 50
Professor Dumbledore Wizard Wand - In Ollivanders Box:
Professor Dumbledore Wizard Wand - In…
 (7)
 R839 Discovery Miles 8 390
Bantex @School 13cm Kids Blunt Nose Scissors:
Bantex @School 13cm Kids Blunt Nose…
R16 Discovery Miles 160
Huntlea Urban Round Bed (Red) - Large (D:900mm):
Huntlea Urban Round Bed (Red) - Large…
R899 R750 Discovery Miles 7 500
Cable Guys Controller and Smartphone Holder - Batman:
Cable Guys Controller and Smartphone…
R399 R359 Discovery Miles 3 590
Addis Rough Tote (45L):
Addis Rough Tote (45L)
R218 Discovery Miles 2 180

 
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