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,564 Discovery Miles 15 640
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...
A Lawyer's Guide to Mass Torts - Establish Your Legacy (Hardcover): Jacob Malherbe
A Lawyer's Guide to Mass Torts…
Jacob Malherbe Hardcover R810 R685 Discovery Miles 6 850
Law Firm Governance and Measurements of Success (Paperback): Peter Blair
Law Firm Governance and Measurements of…
Peter Blair Paperback R6,028 Discovery Miles 60 280
Solicitors and the Accounts Rules - A Compliance Handbook (Paperback, 4th Revised edition):
Solicitors and the Accounts Rules - A…
Paperback R2,293 Discovery Miles 22 930
The Rise of Specialist Career Paths in Law Firms (Paperback): Katerina Menhennet
The Rise of Specialist Career Paths in…
Katerina Menhennet Paperback R4,536 Discovery Miles 45 360
Introduction To Law And Legal Skills (Paperback, 2nd Edition): Peggy Maisel, Lesley Greenbaum, Grey Stopforth
Introduction To Law And Legal Skills
Peggy Maisel, Lesley Greenbaum, … Paperback R855 R670 Discovery Miles 6 700
Evaluating Academic Legal Research in Europe - The Advantage of Lagging Behind (Hardcover): Rob van Gestel, Andreas Lienhard
Evaluating Academic Legal Research in…
Rob van Gestel, Andreas Lienhard Hardcover R4,495 Discovery Miles 44 950
Effective Legal Interviewing and Counselling (Paperback): Riette du Plessis
Effective Legal Interviewing and…
Riette du Plessis Paperback R408 R345 Discovery Miles 3 450
Clarity for Lawyers - Effective Legal Language (Paperback, 3rd Revised edition): Mark Adler, Daphne Perry
Clarity for Lawyers - Effective Legal…
Mark Adler, Daphne Perry Paperback R1,120 Discovery Miles 11 200
The Naked Lawyer - Rip to XXX How to Market, Brand and Sell You (Paperback): Chrissie Lightfoot
The Naked Lawyer - Rip to XXX How to…
Chrissie Lightfoot Paperback R2,986 Discovery Miles 29 860
Legal Forms for Starting & Running a Small Business - 65 Essential Agreements, Contracts, Leases & Letters (Paperback, 12th...
Legal Forms for Starting & Running a…
Fred S Steingold, editors of Nolo Paperback R919 R781 Discovery Miles 7 810

 
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