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

Certified Programs and Proofs - Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings... Certified Programs and Proofs - Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings (Paperback, 2012 ed.)
Chris Hawblitzel, Dale Miller
R1,587 Discovery Miles 15 870
Add to cart
Ships in 10 - 15 working days

This book constitutes the refereed proceedings of the Second International Conference on Certified Programs and Proofs, CPP 2012, held in Kyoto, Japan, in December 2012. The 18 revised regular papers presented were carefully reviewed and selected from 37 submissions. They deal with those topics in computer science and mathematics in which certification via formal techniques is crucial.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Marketing Analytics - Essential Tools for Data-Driven Decisions (Hardcover): Rajkumar Venkatesan, Paul W. Farris, Ronald T....
Marketing Analytics - Essential Tools…
Rajkumar Venkatesan, Paul W. Farris, … Hardcover R1,060 R299 Discovery Miles 2 990
Croxley Create Wood Free Colouring Pencils (14 Pack):
Croxley Create Wood Free Colouring…
R30 Discovery Miles 300
Peptine Pro Equine Hydrolysed Collagen - Refill (500g):
Peptine Pro Equine Hydrolysed Collagen…
 (2)
 R359 R279 Discovery Miles 2 790
Hot Wheels Aluminium Bottle (500ml)(Assorted)(Single Unit - Supplied May Vary):
Hot Wheels Aluminium Bottle…
R129 R99 Discovery Miles 990
Finding Dory (English, French, Dutch, Blu-ray disc): Ellen DeGeneres, Albert Brooks, Diane Keaton, Eugene Levy, Ty Burrell,...
Finding Dory
Ellen DeGeneres, Albert Brooks, … Blu-ray disc  (1)
 R40 Discovery Miles 400
Wagworld Leafy Mat - Fleece (Blue)(800x700mm):
Wagworld Leafy Mat - Fleece…
 (1)
 R549 R367 Discovery Miles 3 670
Mellerware Swiss - Plastic Floor Fan Heater with 2 Heat Settings (2000W)(Graphite):
Mellerware Swiss - Plastic Floor Fan…
R371 Discovery Miles 3 710
Spider-Man: 5-Movie Collection - Spider-Man 1-3 / The Amazing Spider-Man 1 & 2 (Blu-ray disc, Boxed set): Tobey Maguire,...
Spider-Man: 5-Movie Collection…
Tobey Maguire, Kirsten Dunst, … Blu-ray disc  (1)
 R466 Discovery Miles 4 660
Red Elephant Horizon Backpack (20L)(Black/ Big Splash):
Red Elephant Horizon Backpack…
R486 Discovery Miles 4 860
Jumbo Puzzle Mates Puzzle & Roll Storage Mat (For 500 - 1500 Pieces):
Jumbo Puzzle Mates Puzzle & Roll Storage…
 (4)
 R699 R356 Discovery Miles 3 560

 
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