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,677 Discovery Miles 16 770
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...
Jumbo Jan van Haasteren Comic Jigsaw Puzzle - The Holiday Fair (1000 Pieces):
Jumbo Jan van Haasteren Comic Jigsaw…
 (1)
 R439 R399 Discovery Miles 3 990
Bug-A-Salt 3.0 Black Fly:
Bug-A-Salt 3.0 Black Fly
 (1)
 R999 Discovery Miles 9 990
Elecstor B22 7W Rechargeable LED Bulb (Cool White)(Pack of 6):
Elecstor B22 7W Rechargeable LED Bulb…
R399 R369 Discovery Miles 3 690
Gangster - Ware Verhale Van Albei Kante Van Die Strydlyn (Afrikaans, Paperback): Carla van der Spuy
Gangster - Ware Verhale Van Albei Kante…
Carla van der Spuy Paperback R315 R271 Discovery Miles 2 710
Hart Easy Pour Kettle (1.5L):
Hart Easy Pour Kettle (1.5L)
R199 R168 Discovery Miles 1 680
Microsoft Xbox Series X Console (1TB):
Microsoft Xbox Series X Console (1TB)
 (21)
 R14,999 Discovery Miles 149 990
Casio LW-200-7AV Watch with 10-Year Battery:
Casio LW-200-7AV Watch with 10-Year…
R999 R884 Discovery Miles 8 840
Bostik Art & Craft Sprayable Adhesive (200ml):
Bostik Art & Craft Sprayable Adhesive…
R189 Discovery Miles 1 890
Peptine Pro Equine Hydrolysed Collagen (1kg):
Peptine Pro Equine Hydrolysed Collagen…
R699 R589 Discovery Miles 5 890
Elektra Health 8075 Electrode Hot Steam Humidifier (4L):
Elektra Health 8075 Electrode Hot Steam…
 (9)
 R700 R569 Discovery Miles 5 690

 
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