The B-Book
 Front cover of the 2005 paperback edition | |
| Author | Jean-Raymond Abrial |
|---|---|
| Language | English |
| Subject | Computer science Programming languages Applied logic |
| Genre | Non-fiction |
| Publisher | Cambridge University Press |
Publication date | 1996/2005/2010 |
| Publication place | United Kingdom |
| Media type | Hardback, paperback, ebook |
| Pages | xxxiv+779 |
| ISBN | 0 521 49619 5 |
| OCLC | 63202590 |
| 005.1 | |
| LC Class | 2006275990 |
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]
See also
[edit]References
[edit]- ^ "The B-Book". Cambridge University Press. November 2005. Retrieved 4 June 2025.
- ^ "The B-Book". Cambridge University Press. January 2010. Retrieved 4 June 2025.
- ^ Butler, Michael (January 1997). "Book Review – The B-Book: Assigning Programs to Meanings". The Computer Journal. 40 (1): 59–61. doi:10.1093/comjnl/40.1.59.
- ^ Bowen, Jonathan P. (14 February 1997). "B-hold the Future of Software Development". The Times Higher Education Supplement. Vol. 1267, no. 30. UK. Retrieved 13 May 2008. Multimedia computer books.
External links
[edit]- The B-Book at DBLP Bibliography Server
- The B-Book on Amazon
- The B-Book on Amazon UK
 | This computer science article is a stub. You can help Wikipedia by expanding it. |
 | This article about a mathematical publication is a stub. You can help Wikipedia by expanding it. |