Books
- The B-Book: Assigning Programs to Meanings, Jean-Raymond Abrial, Cambridge University Press, 1996. ISBN 0-521-49619-5.
- The B-Method: An Introduction, Steve Schneider, Palgrave Macmillan, Cornerstones of Computing series, 2001. ISBN 0-333-79284-X.
- Software Engineering with B, John Wordsworth, Addison Wesley Longman, 1996. ISBN 0-201-40356-0.
- The B Language and Method: A Guide to Practical Formal Development, Kevin Lano, Springer-Verlag, FACIT series, 1996. ISBN 3-540-76033-4.
- Specification in B: An Introduction using the B Toolkit, Kevin Lano, World Scientific Publishing Company, Imperial College Press, 1996. ISBN 1-86094-008-0.
Read more about this topic: B-Method
Famous quotes containing the word books:
“The trouble with most problem-solving books for parents is that they start with the idea that the child has a problem. Then they try to tell us how to fix the child, or else, after blaming the parent, they suggest how we can fix ourselves.”
—Polly Berrien Berends (20th century)
“Indeed, the best books have a use, like sticks and stones, which is above or beside their design, not anticipated in the preface, not concluded in the appendix. Even Virgil’s poetry serves a very different use to me today from what it did to his contemporaries. It has often an acquired and accidental value merely, proving that man is still man in the world.”
—Henry David Thoreau (1817–1862)
“Of all the ways of acquiring books, writing them oneself is regarded as the most praiseworthy method.... Writers are really people who write books not because they are poor, but because they are dissatisfied with the books which they could buy but do not like.”
—Walter Benjamin (1892–1940)