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,413 Discovery Miles 14 130
Add to cart
Ships in 18 - 22 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...
Broadcasting The End Of Apartheid - Live Television And The Birth Of A New South Africa (Hardcover): Martha Evans
Broadcasting The End Of Apartheid - Live…
Martha Evans Hardcover R4,638 Discovery Miles 46 380
Dutta's Bedside Clinics and Viva-Voce in Obstetrics & Gynecology (Paperback, 7th Revised edition): Hiralal Konar
Dutta's Bedside Clinics and Viva-Voce in…
Hiralal Konar Paperback R1,310 Discovery Miles 13 100
Joyful Surrender - 7 Disciplines for the Believer's Life (Paperback): Elisabeth Elliot
Joyful Surrender - 7 Disciplines for the…
Elisabeth Elliot Paperback R374 R347 Discovery Miles 3 470
Breast Disease - Comprehensive Management (Hardcover, 2015 ed.): Adam I. Riker
Breast Disease - Comprehensive…
Adam I. Riker Hardcover R4,828 Discovery Miles 48 280
Healing For Trauma - In The South African Context (Paperback, 2nd Edition): Yvonne Retief
Healing For Trauma - In The South…
Yvonne Retief Paperback R199 R183 Discovery Miles 1 830
False Romance (Hardcover): Moriah Randle
False Romance
Moriah Randle Hardcover R871 Discovery Miles 8 710
Kwaaiwater (Afrikaans, Paperback): Irna van Zyl
Kwaaiwater
Irna van Zyl Paperback R350 R312 Discovery Miles 3 120
Caught Up - Into Darkness: Book 2 (Paperback): Navessa Allen
Caught Up - Into Darkness: Book 2
Navessa Allen Paperback R305 R225 Discovery Miles 2 250
The Hunter (Paperback): Tana French
The Hunter
Tana French Paperback R395 R353 Discovery Miles 3 530
Suspects (Paperback): Danielle Steel
Suspects
Danielle Steel Paperback  (3)
 R401 Discovery Miles 4 010

 
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