Book Review: Specification in B: an introduction using the B toolkit. Kevin Lano and Howard Haughton. Published by Imperial College Press and distributed by World Scientific Publishing, London, U.K., 1996. ISBN: 1-86094-018-8, 242 pages. Price: U.K. £17.00, soft cover.
Saved in:
| Title: | Book Review: Specification in B: an introduction using the B toolkit. Kevin Lano and Howard Haughton. Published by Imperial College Press and distributed by World Scientific Publishing, London, U.K., 1996. ISBN: 1-86094-018-8, 242 pages. Price: U.K. £17.00, soft cover. |
|---|---|
| Authors: | Waeselynck, Hélène1 |
| Source: | Software Testing: Verification & Reliability; Jun97, Vol. 7 Issue 2, p129-130, 2p |
| Database: | Applied Science & Technology Source |
Be the first to leave a comment!
