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

Showing 1 - 2 of 2 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.

Transnationale Unternehmen als Akteure in der Konfliktpravention. Corporate Social Responsibility-Strategien in den... Transnationale Unternehmen als Akteure in der Konfliktpravention. Corporate Social Responsibility-Strategien in den Konfliktzonen Nigeria und Sudan (German, Paperback)
Benjamin Werner
R1,729 Discovery Miles 17 290 Out of stock
Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Dala Craft Pom Poms - Assorted Colours (20mm)(100 Pack):
Dala Craft Pom Poms - Assorted Colours…
R34 Discovery Miles 340
Bostik Clear Gel in Box (25ml):
Bostik Clear Gel in Box (25ml)
R29 Discovery Miles 290
Stealth SX-C5 X Twin Play and Charge Battery Packs for Xbox Series X (White):
Stealth SX-C5 X Twin Play and Charge…
R399 R189 Discovery Miles 1 890
Blood Brothers - To Battleground Smokeshell and Back (Paperback): Deon Lamprecht
Blood Brothers - To Battleground…
Deon Lamprecht Paperback R290 R195 Discovery Miles 1 950
Loot (Paperback, New edition): Nadine Gordimer
Loot
Nadine Gordimer Paperback  (2)
 R398 R330 Discovery Miles 3 300
Loot (Paperback, New edition): Nadine Gordimer
Loot
Nadine Gordimer Paperback  (2)
 R398 R330 Discovery Miles 3 300
Sony PlayStation Portal Remote Player for PS5:
Sony PlayStation Portal Remote Player…
R5,299 Discovery Miles 52 990
Loot (Paperback, New edition): Nadine Gordimer
Loot
Nadine Gordimer Paperback  (2)
 R398 R330 Discovery Miles 3 300
Cadac Cooker Jet & Seal Kit:
Cadac Cooker Jet & Seal Kit
R45 Discovery Miles 450
Bug-A-Salt 3.0 Black Fly:
Bug-A-Salt 3.0 Black Fly
 (1)
 R999 Discovery Miles 9 990

 
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