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,376
Discovery Miles 13 760
Repayment Terms: R129 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,376 Discovery Miles 13 760 | Repayment Terms: R129 pm x 12*

Bookmark and Share

Expected to ship within 18 - 22 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
Promotions
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!

You might also like..

Problem Solving with C++ - Global Edition (Paperback, 10th edition): Walter Savitch
Problem Solving with C++ - Global…
Walter Savitch Paperback R2,548 Discovery Miles 25 480
Introducing Delphi Programming - Theory Through Practice (Paperback, 4th Edition): John Barrow, Linda Miller, Katherine Malan,...
Introducing Delphi Programming - Theory…
John Barrow, Linda Miller, … Paperback  (1)
 R751 Discovery Miles 7 510
C++ Programming - Program Design Including Data Structures (Paperback, 8th edition): D. Malik
C++ Programming - Program Design…
D. Malik Paperback R1,646 R1,523 Discovery Miles 15 230
Dark Silicon and Future On-chip Systems, Volume 110 (Hardcover): Suyel Namasudra, Hamid Sarbazi-Azad
Dark Silicon and Future On-chip Systems…
Suyel Namasudra, Hamid Sarbazi-Azad Hardcover R3,940 Discovery Miles 39 400
Microcontroller Projects in C for the 8051 Family (Paperback, Reprint): Dogan Ibrahim
Microcontroller Projects in C for the…
Dogan Ibrahim Paperback R1,455 Discovery Miles 14 550
FORTRAN 90 for Scientists and Engineers (Paperback): Brian Hahn
FORTRAN 90 for Scientists and Engineers
Brian Hahn Paperback R1,359 Discovery Miles 13 590
Introduction to Computational Economics Using Fortran (Hardcover): Hans Fehr, Fabian Kindermann
Introduction to Computational Economics…
Hans Fehr, Fabian Kindermann Hardcover R4,258 Discovery Miles 42 580
Advanced Visual Basic 6 - Power Techniques for Everyday Programs (Paperback): Matthew Curland, Gary Clarke
Advanced Visual Basic 6 - Power…
Matthew Curland, Gary Clarke Paperback R1,273 Discovery Miles 12 730
Machine Learning - The Ultimate Beginners Guide to Learn Machine Learning, Artificial Intelligence & Neural Networks...
Machine Learning - The Ultimate…
Mark Reed Hardcover R559 R513 Discovery Miles 5 130
Computer Programming The Doctrine - An introduction to the language of computer programming. From user-friendly HTML to the...
Computer Programming The Doctrine - An…
Adesh Silva Hardcover R638 R572 Discovery Miles 5 720
Advanced SQL with SAS (Hardcover): Christian F. G. Schendera
Advanced SQL with SAS
Christian F. G. Schendera Hardcover R2,458 Discovery Miles 24 580
CICS Basic Training for Application Developers Using DB2 and VSAM (Hardcover): Robert Wingate
CICS Basic Training for Application…
Robert Wingate Hardcover R912 R791 Discovery Miles 7 910

See more
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