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...
Elecstor 30W In-Line UPS (Black):
Elecstor 30W In-Line UPS (Black)
 (1)
 R1,099 R699 Discovery Miles 6 990
Loot (Paperback, New edition): Nadine Gordimer
Loot
Nadine Gordimer Paperback  (2)
 R383 R318 Discovery Miles 3 180
Sterile Wound Dressing:
Sterile Wound Dressing
R5 Discovery Miles 50
Seven Worlds, One Planet (DVD): David Attenborough
Seven Worlds, One Planet
David Attenborough DVD R64 Discovery Miles 640
Loot (Paperback, New edition): Nadine Gordimer
Loot
Nadine Gordimer Paperback  (2)
 R383 R318 Discovery Miles 3 180
Loot (Paperback, New edition): Nadine Gordimer
Loot
Nadine Gordimer Paperback  (2)
 R383 R318 Discovery Miles 3 180
Sony PlayStation 5 DualSense Wireless Controller (Glacier White):
Sony PlayStation 5 DualSense Wireless…
 (5)
 R1,566 Discovery Miles 15 660
Bostik Double-Sided Tape (18mm x 10m) - Easy Tear:
Bostik Double-Sided Tape (18mm x 10m…
 (1)
 R31 Discovery Miles 310
Mountain Backgammon - The Classic Game Of Speed And Strategy: Lily Dyu
Mountain Backgammon - The Classic Game…
Lily Dyu R575 R460 Discovery Miles 4 600
Efekto 77300-B Nitrile Gloves (S)(Black):
Efekto 77300-B Nitrile Gloves (S)(Black)
R79 R63 Discovery Miles 630

 
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