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...
Astrum MU100 USB Optical Mouse (Black):
Astrum MU100 USB Optical Mouse (Black)
R79 Discovery Miles 790
Bostik Double-Sided Tape (18mm x 10m) - Easy Tear:
Bostik Double-Sided Tape (18mm x 10m…
 (1)
 R31 Discovery Miles 310
Shatter Me - 9-Book Collection (Paperback, Boxed set): Tahereh Mafi
Shatter Me - 9-Book Collection
Tahereh Mafi Paperback R1,699 R1,143 Discovery Miles 11 430
Loot (Paperback, New edition): Nadine Gordimer
Loot
Nadine Gordimer Paperback  (2)
 R383 R310 Discovery Miles 3 100
Casio LW-200-7AV Watch with 10-Year Battery:
Casio LW-200-7AV Watch with 10-Year…
R999 R884 Discovery Miles 8 840
Nou In Infrarooi - Gedigte (Afrikaans, Paperback, Reprint): Tom Dreyer
Nou In Infrarooi - Gedigte
Tom Dreyer Paperback R250 R75 Discovery Miles 750
Zap! Polymer Clay Jewellery (Kit):
Zap! Polymer Clay Jewellery
Kit R250 R195 Discovery Miles 1 950
Prosperplast Wheaty Pot - White (128 x 112mm):
Prosperplast Wheaty Pot - White (128 x…
R35 Discovery Miles 350
Vital BabyŽ NOURISH? Power? Suction Bowl (Supplied colour may vary):
Vital BabyŽ NOURISH™ Power™ Suction Bowl…
R159 Discovery Miles 1 590
The Staircase (DVD): Colin Firth, Toni Collette, Juliette Binoche
The Staircase
Colin Firth, Toni Collette, … DVD R174 Discovery Miles 1 740

 
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