Welcome to Loot.co.za!   Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
0
Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Programming languages

Buy Now

On the Refinement Calculus (Paperback, Softcover reprint of the original 1st ed. 1992) Loot Price: R1,435
Discovery Miles 14 350
Repayment Terms: R134 pm x 12*
Add to cart
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

Series: Formal Approaches to Computing and Information Technology (FACIT)

 (sign in to rate)
Loot Price R1,435 Discovery Miles 14 350 | Repayment Terms: R134 pm x 12*

Bookmark and Share

Expected to ship within 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.

General

Imprint: Springer-Verlag
Country of origin: Germany
Series: Formal Approaches to Computing and Information Technology (FACIT)
Release date: December 1994
First published: 1992
Editors: Carroll Morgan • Trevor Vickers
Dimensions: 235 x 155 x 10mm (L x W x T)
Format: Paperback
Pages: 159
Edition: Softcover reprint of the original 1st ed. 1992
ISBN-13: 978-3-540-19931-1
Categories: Books > Computing & IT > General theory of computing > Mathematical theory of computation
Books > Computing & IT > Computer programming > Programming languages > General
LSN: 3-540-19931-4
Barcode: 9783540199311

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!
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