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...
A Soviet Journey - A Critical Annotated Edition (Paperback): Alex La Guma
A Soviet Journey - A Critical Annotated…
Alex La Guma Paperback R330 R240 Discovery Miles 2 400
Women In Solitary - Inside The Female Resistance To Apartheid (Paperback): Shanthini Naidoo
Women In Solitary - Inside The Female…
Shanthini Naidoo Paperback  (1)
 R355 R305 Discovery Miles 3 050
1 Recce: Volume 3 - Onsigbaarheid Is Ons Krag (Afrikaans, Paperback): Alexander Strachan
1 Recce: Volume 3 - Onsigbaarheid Is Ons…
Alexander Strachan Paperback R453 R363 Discovery Miles 3 630
Fire And Fury - Inside The Trump White House (Paperback): Michael Wolff
Fire And Fury - Inside The Trump White…
Michael Wolff Paperback  (4)
 R421 Discovery Miles 4 210
Black And White Bioscope - Making Movies In Africa 1899 To 1925 (Hardcover): Neil Parsons
Black And White Bioscope - Making Movies…
Neil Parsons Hardcover R310 Discovery Miles 3 100
Little Bird Of Auschwitz - How My Mother Escaped Death And Found Our Family (Paperback): Alina Peretti, Jacques Peretti
Little Bird Of Auschwitz - How My Mother…
Alina Peretti, Jacques Peretti Paperback R453 R370 Discovery Miles 3 700
Killing Karoline - A Memoir (Paperback): Sara-Jayne King
Killing Karoline - A Memoir
Sara-Jayne King Paperback  (1)
 R325 R279 Discovery Miles 2 790
Extremisms In Africa (Paperback): Alain Tschudin, Stephen Buchanan-Clarke, Lloyd Coutts, Susan Thomas Russell, Mandla Tyala
Extremisms In Africa
Alain Tschudin, Stephen Buchanan-Clarke, … Paperback  (1)
 R320 R250 Discovery Miles 2 500
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 R343 Discovery Miles 3 430
Township Violence And The End Of Apartheid - War On The Reef (Paperback): Gary Kynoch
Township Violence And The End Of…
Gary Kynoch Paperback R330 R258 Discovery Miles 2 580

 
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