Call Boomerang Books 1300 36 33 32

Get Latest Book News + FREE Shipping. Subscribe to the Boomerang Books Bulletin eNewsletter right now!

Description - The B-Book by J-.R. Abrial

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 The B-Book by J-.R. Abrial from Australia's Online Independent Bookstore, Boomerang Books.

Book Details

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

Other Editions - The B-Book by J-.R. Abrial

Book Reviews - The B-Book by J-.R. Abrial

» 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 Boomerang Books Account Holder - it's free to sign up and there are great benefits!)

Write Review