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,447 Discovery Miles 34 470
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,459 Discovery Miles 24 590
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...
Integrated Research in Steganography (Hardcover): Audrey Coon
Integrated Research in Steganography
Audrey Coon Hardcover R1,565 R1,456 Discovery Miles 14 560
The Best Damn Cybercrime and Digital Forensics Book Period (Paperback): Jack Wiles, Anthony Reyes
The Best Damn Cybercrime and Digital…
Jack Wiles, Anthony Reyes Paperback R1,269 Discovery Miles 12 690
Cryptocurrencies - An Essential Beginner's Guide to Blockchain Technology, Cryptocurrency Investing, Mastering Bitcoin...
Cryptocurrencies - An Essential…
Herbert Jones Hardcover R697 R626 Discovery Miles 6 260
Computing Security & Cryptography Handbook (Hardcover): Stephen Mason
Computing Security & Cryptography…
Stephen Mason Hardcover R2,121 Discovery Miles 21 210
The Poetical Works of Charles Churchill (Hardcover): Charles Churchill
The Poetical Works of Charles Churchill
Charles Churchill Hardcover R3,335 Discovery Miles 33 350
Optimal Power Flow Using FACTS Devices - Soft Computing Techniques (Hardcover): L Ashok Kumar, K. Mohanasundaram
Optimal Power Flow Using FACTS Devices…
L Ashok Kumar, K. Mohanasundaram Hardcover R3,643 Discovery Miles 36 430
Cryptocurrency for Beginners - How to Master Blockchain, Defi and start Investing in Bitcoin and Altcoins (Hardcover): Zeph...
Cryptocurrency for Beginners - How to…
Zeph Pascall Hardcover R761 Discovery Miles 7 610
The Oxford Handbook of the American Revolution (Hardcover): Edward G. Gray, Jane Kamensky
The Oxford Handbook of the American…
Edward G. Gray, Jane Kamensky Hardcover R4,624 Discovery Miles 46 240
A Generalized Framework of Linear Multivariable Control (Paperback): Liansheng Tan
A Generalized Framework of Linear…
Liansheng Tan Paperback R2,325 R2,203 Discovery Miles 22 030
Candidate Multilinear Maps (Hardcover): Sanjam Garg
Candidate Multilinear Maps
Sanjam Garg Hardcover R1,770 Discovery Miles 17 700

 
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