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 Complete French Macarons Cookbook - 100 Classic and Creative Reciples (Hardcover): Natalie Wong
The Complete French Macarons Cookbook…
Natalie Wong Hardcover R715 R649 Discovery Miles 6 490
VEGAN COOKBOOK FOR ATHLETES Breakfast - Lunch - Dinner - 51 High-Protein Delicious Recipes for a Plant-Based Diet Plan and For...
VEGAN COOKBOOK FOR ATHLETES Breakfast…
Daniel Smith Hardcover R808 R702 Discovery Miles 7 020
The Delicious Copycat Recipes - Popular Guide with Quick-to-Make and Healthy Recipes to Cook Delicious Desserts in Your Kitchen...
The Delicious Copycat Recipes - Popular…
Emily Yi Hardcover R971 Discovery Miles 9 710
Desserts and Salads (Paperback): Gesine Lemcke
Desserts and Salads
Gesine Lemcke Paperback R504 Discovery Miles 5 040
Ninja Foodi Grill Cookbook 2020 - Easy Tasty Recipes and Step-by-Step Techniques For Indoor Grilling & Air Frying (Hardcover):...
Ninja Foodi Grill Cookbook 2020 - Easy…
Wallace Buendia Hardcover R926 Discovery Miles 9 260
Super Easy Air Fryer Recipes - Learn How to Cook Low-Fat and Delicious Meals Easily and Quickly with Your Air Fryer...
Super Easy Air Fryer Recipes - Learn How…
Linda Wang Hardcover R803 R697 Discovery Miles 6 970
The Simple Quesadilla Recipes - Flavorful, Healthy and Time-Saved Recipes to Enjoy Wonderful Meals with Your Family and Friends...
The Simple Quesadilla Recipes…
Norma Marquez Hardcover R1,002 Discovery Miles 10 020
Innocently Sweet (Paperback): Chantal Di Donato
Innocently Sweet
Chantal Di Donato Paperback R458 Discovery Miles 4 580
Decadent Mini Desserts - Perfect For Entertaining (Paperback): Mealla H. Fallon
Decadent Mini Desserts - Perfect For…
Mealla H. Fallon Paperback R295 Discovery Miles 2 950
Vegan Dessert Bakery - More than 50 Exciting Quick and Easy New Vegan Recipes for Cookies and Pies, Cupcakes and Cakes--and...
Vegan Dessert Bakery - More than 50…
Daniel Smith Hardcover R725 R639 Discovery Miles 6 390

 
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