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,587 Discovery Miles 35 870
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,566 Discovery Miles 25 660
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...
Wireless Ear Buds With Recharge Case:
Wireless Ear Buds With Recharge Case
R495 Discovery Miles 4 950
Uncaptured - The True Account Of The Nenegate/Trillian Whistleblower (Paperback): Mosilo Mothepu
Uncaptured - The True Account Of The…
Mosilo Mothepu Paperback R388 Discovery Miles 3 880
Pat & Bat (Hardcover): Brian Nadon
Pat & Bat
Brian Nadon Hardcover R561 Discovery Miles 5 610
Jump - A Memoir (Paperback): Lenerd Louw
Jump - A Memoir
Lenerd Louw Paperback R271 Discovery Miles 2 710
Safari Nation - A Social History Of The Kruger National Park (Paperback): Jacob Dlamini
Safari Nation - A Social History Of The…
Jacob Dlamini Paperback R320 R295 Discovery Miles 2 950
Essentials and Applications of Food Engineering (Hardcover): C. Anandharamakrishnan, S. Padma Ishwarya
Essentials and Applications of Food…
C. Anandharamakrishnan, S. Padma Ishwarya Hardcover R4,626 Discovery Miles 46 260
Management and Cost Accounting (Paperback, 10th edition): Colin Drury
Management and Cost Accounting
Colin Drury Paperback  (9)
 R1,335 Discovery Miles 13 350
Prisoner 913 - The Release Of Nelson Mandela (Paperback): Riaan de Villiers, Jan-Ad Stemmet
Prisoner 913 - The Release Of Nelson…
Riaan de Villiers, Jan-Ad Stemmet Paperback R399 R374 Discovery Miles 3 740
Managing Business Projects - The Essentials (Paperback): Frank Einhorn
Managing Business Projects - The…
Frank Einhorn Paperback R515 Discovery Miles 5 150
Verlore Seun Vannie Gaatjie (Afrikaans, Paperback): Ivor Swartz
Verlore Seun Vannie Gaatjie
Ivor Swartz Paperback R310 R291 Discovery Miles 2 910

 
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