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...
Stress and Somatic Symptoms - Biopsychosociospiritual Perspectives (Hardcover, 1st ed. 2018): Kyung Bong Koh
Stress and Somatic Symptoms…
Kyung Bong Koh Hardcover R3,078 Discovery Miles 30 780
Burnout for Experts - Prevention in the Context of Living and Working (Hardcover, 2013 ed.): Sabine Bahrer-Kohler
Burnout for Experts - Prevention in the…
Sabine Bahrer-Kohler Hardcover R4,248 Discovery Miles 42 480
Treating Complex Trauma - Combined Theories and Methods (Hardcover, 1st ed. 2020): Tamara McClintock Greenberg
Treating Complex Trauma - Combined…
Tamara McClintock Greenberg Hardcover R3,041 Discovery Miles 30 410
Health Insurance (Hardcover): Aida Isabel Tavares
Health Insurance
Aida Isabel Tavares Hardcover R2,907 R2,727 Discovery Miles 27 270
A Cultural Safety Approach to Health Psychology (Hardcover, 1st ed. 2021): Pauline B. Thompson, Kerry Taylor
A Cultural Safety Approach to Health…
Pauline B. Thompson, Kerry Taylor Hardcover R3,290 Discovery Miles 32 900
Unhappiness, Sadness and 'Depression' 2017 - Antidepressants and the Mental Disorder Epidemic (Hardcover, 2017 ed.):...
Unhappiness, Sadness and 'Depression…
Tullio Giraldi Hardcover R2,510 Discovery Miles 25 100
Stop Anxiety and Panic Attacks - Easy Guide to Recover the Control of Your Emotions (Hardcover): Mathias Southwell
Stop Anxiety and Panic Attacks - Easy…
Mathias Southwell Hardcover R764 Discovery Miles 7 640
Handbook of Military Psychology - Clinical and Organizational Practice (Hardcover, 1st ed. 2017): Stephen V. Bowles, Paul T....
Handbook of Military Psychology…
Stephen V. Bowles, Paul T. Bartone Hardcover R5,127 Discovery Miles 51 270
Universal Health Coverage (Hardcover): Aida Isabel Tavares
Universal Health Coverage
Aida Isabel Tavares Hardcover R3,446 R3,218 Discovery Miles 32 180
Applications of Behavior Analysis in Healthcare and Beyond (Hardcover, 1st ed. 2021): Alexandros Maragakis, Claudia Drossel,...
Applications of Behavior Analysis in…
Alexandros Maragakis, Claudia Drossel, … Hardcover R4,545 Discovery Miles 45 450

 
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