The B-Book: Assigning Programs to Meanings - J. R. Abrial - Books - Cambridge University Press - 9780521021753 - November 3, 2005
In case cover and title do not match, the title is correct

J. R. Abrial
The B-Book: Assigning Programs to Meanings

Get an email once the item is available
Do you have a profile? Log in
Get notified about new J. R. Abrial releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

The long-awaited B-Book is the standard reference for everything concerning the B Method, written by its inventor, J.-R. Abrial. 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.

816 pages, black & white illustrations

Media Books     Paperback Book   (Book with soft cover and glued back)
Released November 3, 2005
ISBN13 9780521021753
Publishers Cambridge University Press
Pages 816
Dimensions 250 × 176 × 48 mm   ·   1.34 kg
Language English  

More from the same publisher

See all of J. R. Abrial ( e.g. Paperback Book )