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...
Methodist Christology - From the Wesleys to the Twenty-First Century (Hardcover): Jason E. Vickers, Jerome Van Kuiken
Methodist Christology - From the Wesleys…
Jason E. Vickers, Jerome Van Kuiken Hardcover R1,178 Discovery Miles 11 780
Multi-Objective Machine Learning (Hardcover, 2006 ed.): Yaochu Jin
Multi-Objective Machine Learning
Yaochu Jin Hardcover R5,507 Discovery Miles 55 070
How To Draw Shojo Manga - Your Step By Step Guide To Drawing Shojo Manga VOLUME 1 (Hardcover): Howexpert, Christy Peraja
How To Draw Shojo Manga - Your Step By…
Howexpert, Christy Peraja Hardcover R764 Discovery Miles 7 640
Trends in Deep Learning Methodologies - Algorithms, Applications, and Systems (Paperback): Vincenzo Piuri, Sandeep Raj, Angelo...
Trends in Deep Learning Methodologies…
Vincenzo Piuri, Sandeep Raj, … Paperback R3,018 Discovery Miles 30 180
International Environmental Labelling Vol.5 Cleaning - For All Maintenance & Cleaning Products (All-purpose Cleaners, Abrasive...
International Environmental Labelling…
Jahangir Asadi Hardcover R817 Discovery Miles 8 170
Blasphemy Ancient and Modern (Paperback): Nicolas Walter, Rationalist Press Association
Blasphemy Ancient and Modern
Nicolas Walter, Rationalist Press Association Paperback R123 Discovery Miles 1 230
Machine Learning and Data Mining (Paperback): I Kononenko, M Kukar
Machine Learning and Data Mining
I Kononenko, M Kukar Paperback R1,903 Discovery Miles 19 030
The Cell in Vladimir (Hardcover): Charles Wood
The Cell in Vladimir
Charles Wood Hardcover R762 Discovery Miles 7 620
Complex Systems: Solutions and Challenges in Economics, Management and Engineering - Dedicated to Professor Jaime Gil Aluja...
Complex Systems: Solutions and…
Christian Berger-Vachon, Anna Maria Gil-Lafuente, … Hardcover R6,598 Discovery Miles 65 980
Pink Brain, Blue Brain - How Small Differences Grow Into Troublesome Gaps -- And What We Can Do about It (Paperback): Lise Eliot
Pink Brain, Blue Brain - How Small…
Lise Eliot Paperback R478 R453 Discovery Miles 4 530

 
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