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...
The Little Rock Nine Challenge Segregation - Courageous Kids of the Civil Rights Movement (Paperback): Myra Faye Turner
The Little Rock Nine Challenge…
Myra Faye Turner Paperback R213 R201 Discovery Miles 2 010
Mind-Energy - Lectures and Essays (Paperback): Henri Bergson
Mind-Energy - Lectures and Essays
Henri Bergson Paperback R500 Discovery Miles 5 000
RollingStone guitar classics, volume 2 - Classic Rock to Modern Rock (Paperback): Alfred Music
RollingStone guitar classics, volume 2…
Alfred Music Paperback R879 Discovery Miles 8 790
Cat Goes Fast (Board book): Rebecca Purcell
Cat Goes Fast
Rebecca Purcell Board book R241 Discovery Miles 2 410
TookyToy Coloring Puzzle Secret Garden:
TookyToy Coloring Puzzle Secret Garden
R326 Discovery Miles 3 260
X-Ray Fluorescence Spectrometry and Related Techniques (Hardcover): Eva Margui, Rene Van Grieken
X-Ray Fluorescence Spectrometry and…
Eva Margui, Rene Van Grieken Hardcover R4,294 R3,323 Discovery Miles 33 230
Mideer Search & Find Discovery Jigsaw Puzzle - Asia (88 Pieces):
Mideer Search & Find Discovery Jigsaw…
R184 Discovery Miles 1 840
Islamic Teachings Series: Spiritual and Moral Excellence (Paperback): Muhammad Tahir-ul-Qadri
Islamic Teachings Series: Spiritual and…
Muhammad Tahir-ul-Qadri Paperback R174 Discovery Miles 1 740
Tyrant (Paperback): Conn Iggulden
Tyrant
Conn Iggulden Paperback R395 R353 Discovery Miles 3 530
Faith to Produce Miracles (Paperback): Brent C Satterfield Phd
Faith to Produce Miracles
Brent C Satterfield Phd Paperback R404 R382 Discovery Miles 3 820

 
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