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,528 Discovery Miles 15 280
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...
Dala Cold Pressed Round Watercolour Paper in Tin - 300gsm (10.5cm)(24 Sheets):
Dala Cold Pressed Round Watercolour…
R60 Discovery Miles 600
Dinosaurs and the Expanding Earth (Hardcover, 3rd ed.): Stephen William Hurrell
Dinosaurs and the Expanding Earth
Stephen William Hurrell Hardcover R751 R667 Discovery Miles 6 670
Theatres of Dust - Climate Gothic Analysis in Contemporary Australian Drama and Performance Landscapes (Hardcover, 1st ed....
Theatres of Dust - Climate Gothic…
Linda Hassall Hardcover R1,749 Discovery Miles 17 490
Extraordinary Insects - Weird. Wonderful. Indispensable. the Ones Who Run Our World. (Paperback): Anne Sverdrup-Thygeson
Extraordinary Insects - Weird…
Anne Sverdrup-Thygeson Paperback  (1)
 R330 R295 Discovery Miles 2 950
Progress in Botany Vol. 78 (Hardcover, 1st ed. 2017): Francisco M. Canovas, Ulrich L Uttge, Rainer Matyssek
Progress in Botany Vol. 78
Francisco M. Canovas, Ulrich L Uttge, … Hardcover R5,156 Discovery Miles 51 560
Der Kreislauf des Lebens (Hardcover): Jacob Moleschott, . Moleschott
Der Kreislauf des Lebens
Jacob Moleschott, . Moleschott Hardcover R1,076 Discovery Miles 10 760
Cost and Optimization in Government - An Introduction to Cost Accounting, Operations Management, and Quality Control, Second...
Cost and Optimization in Government - An…
Aman Khan Hardcover R2,155 Discovery Miles 21 550
Fiddle Time Joggers (Third edition) - A first book of very easy pieces for violin (Sheet music): Kathy Blackwell, David...
Fiddle Time Joggers (Third edition) - A…
Kathy Blackwell, David Blackwell Sheet music R410 Discovery Miles 4 100
The Tie Goes to Freedom - Justice Anthony M. Kennedy on Liberty (Hardcover, New): Helen J. Knowles
The Tie Goes to Freedom - Justice…
Helen J. Knowles Hardcover R1,681 Discovery Miles 16 810
Celebr8 Matt Board Equi - Mesh Pattern (105 x 155mm):
Celebr8 Matt Board Equi - Mesh Pattern…
R24 Discovery Miles 240

 
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