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...
Restraints Sex Toys Bondage Flirty Toys (25Pieces):
Restraints Sex Toys Bondage Flirty Toys…
R1,299 R599 Discovery Miles 5 990
Bostik Sew Simple (25ml):
Bostik Sew Simple (25ml)
R31 Discovery Miles 310
Snappy Tritan Bottle (1.5L)(Coral):
Snappy Tritan Bottle (1.5L)(Coral)
R229 R180 Discovery Miles 1 800
Joseph Joseph Index Mini (Graphite):
Joseph Joseph Index Mini (Graphite)
R642 Discovery Miles 6 420
Hampstead (DVD): Diane Keaton, Brendan Gleeson, James Norton, Jason Watkins, Simon Callow
Hampstead
Diane Keaton, Brendan Gleeson, … DVD R63 Discovery Miles 630
Snappy Tritan Bottle (1.5L)(Green):
Snappy Tritan Bottle (1.5L)(Green)
R229 R180 Discovery Miles 1 800
Mellerware Non-Stick Vapour ll Steam Iron Steam (Purple) (1600W):
Mellerware Non-Stick Vapour ll Steam…
R348 Discovery Miles 3 480
Mellerware Plastic Oscilating Floor Fan Heater with 2 Heat Settings (2000W)(Graphite):
Mellerware Plastic Oscilating Floor Fan…
 (2)
 R552 Discovery Miles 5 520
Staedtler Noris Colour Pencils (12 Pack):
Staedtler Noris Colour Pencils (12 Pack)
R43 Discovery Miles 430
Bantex @School 13cm Kids Blunt Nose Scissors:
Bantex @School 13cm Kids Blunt Nose…
R16 Discovery Miles 160

 
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