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,920 R1,511 Discovery Miles 15 110 Save R409 (21%) Out of stock

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...
1 Litre Unicorn Waterbottle:
1 Litre Unicorn Waterbottle
R70 Discovery Miles 700
Carolina Herrera 212 Eau De Toilette Spray (100ml) - Parallel Import (USA):
Carolina Herrera 212 Eau De Toilette…
R2,377 Discovery Miles 23 770
Blinde Mol Of Wyse Uil? - Hoe Om Met Integriteit Te Leef (Afrikaans, Paperback): Susan Coetzer
Blinde Mol Of Wyse Uil? - Hoe Om Met…
Susan Coetzer Paperback R270 R232 Discovery Miles 2 320
Huntlea Original Memory Foam Mattress Bed (Navy) - Medium (800x600mm):
Huntlea Original Memory Foam Mattress…
R957 Discovery Miles 9 570
Complete Clumping Cat Litter (10kg):
Complete Clumping Cat Litter (10kg)
R151 Discovery Miles 1 510
Pineware Steam, Spray, Dry Iron (1400W):
Pineware Steam, Spray, Dry Iron (1400W)
R247 Discovery Miles 2 470
Deadpool 2 - Super Duper Cut (Blu-ray disc): Ryan Reynolds
Deadpool 2 - Super Duper Cut
Ryan Reynolds Blu-ray disc R54 Discovery Miles 540
Bostik Glue Stick (40g):
Bostik Glue Stick (40g)
R52 Discovery Miles 520
Be Safe Paramedical Disposable Triangle Bandages (4 Pack):
Be Safe Paramedical Disposable Triangle…
R9 Discovery Miles 90
Cadac Rectangular Grid (250x250):
Cadac Rectangular Grid (250x250)
R189 R85 Discovery Miles 850

 
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