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,148 Discovery Miles 31 480
Add to cart
Ships in 18 - 22 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,255 Discovery Miles 22 550
Add to cart
Ships in 18 - 22 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...
Titanic - 4K Ultra HD + Blu-Ray (Blu-ray disc): Leonardo DiCaprio, Kate Winslet
Titanic - 4K Ultra HD + Blu-Ray
Leonardo DiCaprio, Kate Winslet Blu-ray disc R622 Discovery Miles 6 220
Casio LW-200-7AV Watch with 10-Year Battery:
Casio LW-200-7AV Watch with 10-Year…
R999 R899 Discovery Miles 8 990
Sam Smith - Gloria (CD): Sam Smith
Gloria
Sam Smith CD R176 Discovery Miles 1 760
Teddy Fun Dough Castle Kit:
Teddy Fun Dough Castle Kit
R242 R207 Discovery Miles 2 070
Golf Groove Sharpener (Black):
Golf Groove Sharpener (Black)
R249 Discovery Miles 2 490
Bostik Clear Gel (25ml):
Bostik Clear Gel (25ml)
R42 Discovery Miles 420
Golf Club Brush and Groove Cleaner (Green):
Golf Club Brush and Groove Cleaner…
R249 Discovery Miles 2 490
Bostik Clear Gel in Box (25ml):
Bostik Clear Gel in Box (25ml)
R40 R25 Discovery Miles 250
Loot (Paperback, New edition): Nadine Gordimer
Loot
Nadine Gordimer Paperback  (2)
 R367 R340 Discovery Miles 3 400
Christmas Nativity Set - 11 Pieces:
Christmas Nativity Set - 11 Pieces
R599 R539 Discovery Miles 5 390

 
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