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

On the Refinement Calculus (Paperback, Softcover reprint of the original 1st ed. 1992): Carroll Morgan, Trevor Vickers On the Refinement Calculus (Paperback, Softcover reprint of the original 1st ed. 1992)
Carroll Morgan, Trevor Vickers
R1,435 Discovery Miles 14 350
Add to cart
Ships in 10 - 15 working days

On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specifications and Dijkstra's programming language. It is an excellent source of reference material for all those seeking the background and mathematical underpinnings of the refinement calculus.

Free Delivery
Pinterest Twitter Facebook Google+
You may like...
Sam Smith - Gloria (CD): Sam Smith
Gloria
Sam Smith CD R383 Discovery Miles 3 830
Lucky Lubricating Clipper Oil (100ml):
Lucky Lubricating Clipper Oil (100ml)
R79 R12 Discovery Miles 120
Superstar Customer Service - 200+ Customer Service Tips To Help You (Paperback): Basil O'Hagan
Superstar Customer Service - 200…
Basil O'Hagan Paperback R123 Discovery Miles 1 230
South African Wine Index - The Definitive Fine Wine Guide (Paperback): Izak Smit
South African Wine Index - The…
Izak Smit Paperback R158 Discovery Miles 1 580
Loot (Paperback, New edition): Nadine Gordimer
Loot
Nadine Gordimer Paperback  (2)
 R383 R318 Discovery Miles 3 180
Bibby's - More Good Food (Hardcover): Dianne Bibby
Bibby's - More Good Food
Dianne Bibby Hardcover R480 R375 Discovery Miles 3 750
Bostik Double-Sided Tape (18mm x 10m) - Easy Tear:
Bostik Double-Sided Tape (18mm x 10m…
 (1)
 R31 Discovery Miles 310
Dig & Discover: Ancient Egypt - Excavate 2 Treasures (Kit): Hinkler Pty Ltd
Dig & Discover: Ancient Egypt - Excavate…
Hinkler Pty Ltd Kit R263 Discovery Miles 2 630
Efekto 77300-G Nitrile Gloves (L)(Green):
Efekto 77300-G Nitrile Gloves (L)(Green)
R63 Discovery Miles 630
Alcolin Cold Glue (125ml):
Alcolin Cold Glue (125ml)
R46 Discovery Miles 460

 
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