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
  • R1,000 - R2,500 (1)
  • R2,500 - R5,000 (1)
  • -
Status
Brand

Showing 1 - 2 of 2 matches in All Departments

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,321 Discovery Miles 33 210
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 (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,369 Discovery Miles 23 690
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...
Various Artists - An Evening With Silk Sonic (CD): Bruno Mars, Anderson .Paak, Silk Sonic
An Evening With Silk Sonic
Bruno Mars, Anderson .Paak, … CD  (2)
 R286 R246 Discovery Miles 2 460
Genuine Leather Wallet With Clip Closure (Tan):
Genuine Leather Wallet With Clip Closure…
R299 R246 Discovery Miles 2 460
Bostik Clear Gel (25ml):
Bostik Clear Gel (25ml)
R40 R23 Discovery Miles 230
Loot (Paperback, New edition): Nadine Gordimer
Loot
Nadine Gordimer Paperback  (2)
 R383 R310 Discovery Miles 3 100
Folding Table (Black) (1.8m):
Folding Table (Black) (1.8m)
 (1)
 R1,299 R699 Discovery Miles 6 990
Nintendo Joy-Con Neon Controller Pair (Blue and Yellow):
Nintendo Joy-Con Neon Controller Pair…
 (1)
 R1,899 R1,729 Discovery Miles 17 290
Loot (Paperback, New edition): Nadine Gordimer
Loot
Nadine Gordimer Paperback  (2)
 R383 R310 Discovery Miles 3 100
Marco 2-Person Wicker Picnic Basket:
Marco 2-Person Wicker Picnic Basket
R1,599 R1,239 Discovery Miles 12 390
Cable Guy Ikon "Light Up" PlayStation Controller and Smartphone Holder:
Cable Guy Ikon "Light Up" PlayStation…
R599 R549 Discovery Miles 5 490
Bostik Art & Craft Sprayable Adhesive (200ml):
Bostik Art & Craft Sprayable Adhesive…
R189 R161 Discovery Miles 1 610

 
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