AddALL.com - Program Development by Refinement: Case Studies Using the B Method (Formal Approaches to Computing and Information Technology (FACIT)) 1852330538 9781852330538

Don't forget to bookmark this web site !!

Used & Out of Print Books | Contact us | Home

Browse and Compare Price at 40+ Sites and 20,000+ Stores!!

Find more info., search and price compare for
Program Development by Refinement: Case Studies Using the B Method (Formal Approaches to Computing and Information Technology (FACIT))
by
Binding: Paperback, 1 edition, 364 pages
Publisher: Springer
List Price: USD $159.00
Weight: 117
Dimension: H: 0.75 x L: 9.1 x W: 0.49 inches
ISBN 10: 1852330538
ISBN 13: 9781852330538
Click here to search for this book and compare price at 40+ bookstores with AddALL.com!

If you cannot find this book in our new and in print search, be sure to try our used and out of print search too!

Book Description:
This volume contains a collection of case studies in program refinement with the B Method. They show typical program developments from problem analysis to implementation with non trivial examples. They cover areas for which the B Method was originally conceived as well as the following novel areas: data structures; information management; process control systems; distributed systems. This volume will primarily be of interest to practitioners who either already use B and want to improve their program refinement techniques, or those who are considering using it and want to learn about its implementation. It will also provide useful background reading for students taking courses in the B Method, Formal Specification, or Refinement.

Shipping Destination:
State: (US only)
Display in:
Search by:


Searching for Out of Print Books? [Click Here]

[ For web hosting, AddALL recommend Liquidweb]