Top Qs
Timeline
Chat
Perspective
The B-Book
1996 computer science book From Wikipedia, the free encyclopedia
Remove ads
The B-Book is a book by Jean-Raymond Abrial on the B-Method, a formal method approach to software development, originally developed by him. It was published in 1996 by Cambridge University Press. The book is available in hardback (ISBN 978-0521496193, 1996), paperback (ISBN 978-0521021753, 2005),[1] and ebook form (ISBN 978-0511624162, doi:10.1017/CBO9780511624162, 2010).[2]
The book includes a tribute by C.A.R. Hoare and a foreword by Pierre Chapron of GEC-ALSTHOM Transport. Part I of the book covers Mathematics, Part II Abstract Machines, Part III Programming, and Part IV Refinement. The book also includes six appendices and an index. It was reviewed in The Computer Journal[3] and The Times Higher Education Supplement.[4]
Remove ads
See also
References
External links
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads