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,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.

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
R2,617 R2,460 Discovery Miles 24 600 Save R157 (6%)
Add to cart
Ships in 10 - 15 working days
Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Konix Naruto Gamepad for Nintendo Switch | PC (White):
Konix Naruto Gamepad for Nintendo Switch…
R699 R599 Discovery Miles 5 990
First Aid Dressing No 3:
First Aid Dressing No 3
R5 R2 Discovery Miles 20
Rogz Lounge Walled Oval Pet Bed (Navy) - Medium (460x390mm):
Rogz Lounge Walled Oval Pet Bed (Navy…
R625 Discovery Miles 6 250
Amiibo Super Smash Bros. Collection - Zelda:
Amiibo Super Smash Bros. Collection…
R399 Discovery Miles 3 990
LG 20MK400H 19.5" Monitor WXGA LED Black:
LG 20MK400H 19.5" Monitor WXGA LED Black
R1,990 R1,686 Discovery Miles 16 860
Loot (Paperback, New edition): Nadine Gordimer
Loot
Nadine Gordimer Paperback  (2)
 R398 R330 Discovery Miles 3 300
Lucky Metal Cut Throat Razer Carrier:
Lucky Metal Cut Throat Razer Carrier
R30 R18 Discovery Miles 180
Taurus Nixus Premium - Cordless Titanium Hair Clipper (4.8V)(Black):
Taurus Nixus Premium - Cordless Titanium…
 (1)
 R873 Discovery Miles 8 730
Fine Living Regal Nesting Table (2 Piece):
Fine Living Regal Nesting Table (2…
R1,699 R599 Discovery Miles 5 990
Bostik Prestik (50g):
Bostik Prestik (50g)
R22 Discovery Miles 220

 
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