B-book by J-.R. Abrial
Look inside with Google Book Preview
B-book
By J-.R. Abrial

The B-book

Assigning Programs to Meanings

By (author) See other recent books by J-.R. Abrial
Foreword by A. Hoare See other recent books by A. Hoare See other recent books by Pierre Chapron
Format: Paperback

Normal Price: $215.00
Your Price: $193.50 AUD, inc. GST
Shipping: $7.95 per order
You Save: $21.50! (10% off normal price)
Plus...earn $9.68 in Boomerang Bucks
Availability: Available Available to Backorder, No Due Date for Supply



B-book by J-.R. Abrial

Book Description

The B Method is a means for specifying, designing and coding software systems. The long-awaited B-Book is the standard reference for everything concerning this method. It contains the mathematical basis on which it is founded, the precise definitions of the notations used, and a large number of examples illustrating its use in practice. J.-R. Abrial, the inventor of B, has written the book in such a way that it can be used for self-study or for reference. It is in four parts, the first dealing with the mathematical foundations and the definition of the various mathematical structures that are needed to formalise software systems; special emphasis is placed on the notion of proof. The second part contains a presentation of the Generalised Substitution Language and of the Abstract Machine Notation; examples are given to show how large specifications can be constructed systematically. The next part introduces the two basic programming features of sequencing and loop. The last part covers the very important notion of refinement. It shows how to construct large software systems by means of layered architectures of modules. With the appearance of The B-Book, formal methods practitioners, computer scientists, and systems developers at last will have access to the definitive account of what will become one of the standard approaches to the construction of software systems.

Buy B-book book by J-.R. Abrial from Australia's Online Bookstore, Boomerang Books.


Book Details

ISBN: 9780521021753
ISBN-10: 0521021758
Format: Paperback
(247mm x 174mm x 41mm)
Pages: 816
Imprint: Cambridge University Press
Publisher: Cambridge University Press
Publish Date: 3-Nov-2005
Country of Publication: United Kingdom

Other Editions...


Reviews

» Have you read this book? We'd like to know what you think about it - write a review about B-book book by J-.R. Abrial and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a member - it's free to sign up!)

Write a book review


Boomerang Bucks close

For every $20 you spend on books, you will receive $1 in Boomerang Bucks loyalty dollars. You can use your Boomerang Bucks as a credit towards a future purchase from Boomerang Books. Note that you must be a Member (free to sign up) and that conditions do apply.

Recent books by J-.R. Abrial close
»
Recent books by A. Hoare close
B-book by A. Hoare
»
Recent books by Pierre Chapron close
B-book by Pierre Chapron
»
BoomerangBooks.com.au close