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,411 Discovery Miles 34 110
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,442 Discovery Miles 24 420
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...
The Principles of Religious Ceremonial (Hardcover): W.H. Frere
The Principles of Religious Ceremonial
W.H. Frere Hardcover R1,090 R919 Discovery Miles 9 190
The High Treason Club - The Boeremag On Trial (Paperback): Karin Mitchell
The High Treason Club - The Boeremag On…
Karin Mitchell Paperback R340 R279 Discovery Miles 2 790
Tears Before Bedtime (Paperback): Diane Awerbuck
Tears Before Bedtime
Diane Awerbuck Paperback R280 R240 Discovery Miles 2 400
Breath for the Breathless (Hardcover): Glory Cumbow
Breath for the Breathless
Glory Cumbow Hardcover R813 R702 Discovery Miles 7 020
A History of Anglican Liturgy (Hardcover, 2nd Revised edition): Geoffrey Cuming
A History of Anglican Liturgy
Geoffrey Cuming Hardcover R4,389 Discovery Miles 43 890
Ceremonies of the Sarum Missal - A Careful Conjecture (Hardcover): Richard Urquhart
Ceremonies of the Sarum Missal - A…
Richard Urquhart Hardcover R4,247 Discovery Miles 42 470
A Handful Of Summers (Paperback, Updated Edition): Gordon Forbes
A Handful Of Summers
Gordon Forbes Paperback  (1)
 R545 Discovery Miles 5 450
Becoming an ECE. 101 Reasons Why I Love My Job (Hardcover): Jiji Talmas
Becoming an ECE. 101 Reasons Why I Love…
Jiji Talmas Hardcover R616 R560 Discovery Miles 5 600
Yes, The Arabs Can Too (Hardcover): Mohamed Bin Issa Al Jaber, Michael Worton
Yes, The Arabs Can Too
Mohamed Bin Issa Al Jaber, Michael Worton Hardcover R674 Discovery Miles 6 740
My Life In Full - Work, Family And Our Future (Paperback): Indra Nooyi
My Life In Full - Work, Family And Our…
Indra Nooyi Paperback R410 Discovery Miles 4 100

 
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