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)
  • -
Status
Brand

Showing 1 - 1 of 1 matches in All Departments

Types for Proofs and Programs - International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised... Types for Proofs and Programs - International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers (Paperback, 2006 ed.)
Jean-Christophe Filliatre, Christine Paulin-Mohring, Benjamin Werner
R1,559 Discovery Miles 15 590
Add to cart
Ships in 10 - 15 working days

The 17 revised full papers presented here cover all current issues of formal reasoning and computer programming based on type theory are addressed; in particular languages and computerised tools for reasoning, and applications in several domains such as analysis of programming languages, certified software, formalisation of mathematics and mathematics education.

 Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Air Fryer - Herman's Top 100 Recipes (Paperback): Herman Lensing
Air Fryer - Herman's Top 100 Recipes
Herman Lensing Paperback R350 R235 Discovery Miles 2 350
Fidget Toy Creation Lab (Kit):
Fidget Toy Creation Lab
Kit R199 R156 Discovery Miles 1 560
Madonna - Finally Enough Love - #1's Remixed (CD): Madonna
Finally Enough Love - #1's Remixed
Madonna CD  (2)
 R384 Discovery Miles 3 840
The Gospel Of Mark - Bible Study (Paperback): Francis Chan
The Gospel Of Mark - Bible Study
Francis Chan Paperback R120 R88 Discovery Miles 880
Little Joe Car Airfreshner (Assorted Colours):
Little Joe Car Airfreshner (Assorted…
R59 Discovery Miles 590
Loot (Paperback, New edition): Nadine Gordimer
Loot
Nadine Gordimer Paperback  (2)
 R383 R310 Discovery Miles 3 100
Train - A Girl, A Bottle, A Boat (CD): Train
A Girl, A Bottle, A Boat
Train CD  (2)
 R108 R48 Discovery Miles 480
Mother's Choice Made With Love Bandana Bibs (3pcs Set):
Mother's Choice Made With Love Bandana…
R499 R399 Discovery Miles 3 990
Everlotus CD DVD wallet, 72 discs:
Everlotus CD DVD wallet, 72 discs
 (1)
 R129 R99 Discovery Miles 990
Loot (Paperback, New edition): Nadine Gordimer
Loot
Nadine Gordimer Paperback  (2)
 R383 R310 Discovery Miles 3 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