The B-Book : Assigning Programs to Meanings Book + PRICE WATCH * Amazon pricing is not included in price watch

The B-Book : Assigning Programs to Meanings Book

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. 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. With its appearance, 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.Read More

from£N/A | RRP: £65.00
* Excludes Voucher Code Discount Also available Used from £N/A
  • 0521496195
  • 9780521496193
  • J. R. Abrial
  • 10 October 1996
  • Cambridge University Press
  • Hardcover (Book)
  • 813
As an Amazon Associate we earn from qualifying purchases. If you click through any of the links below and make a purchase we may earn a small commission (at no extra cost to you). Click here to learn more.

Would you like your name to appear with the review?

We will post your book review within a day or so as long as it meets our guidelines and terms and conditions. All reviews submitted become the licensed property of www.find-book.co.uk as written in our terms and conditions. None of your personal details will be passed on to any other third party.

All form fields are required.