HOME | BESTSELLERS | NEW RELEASES | PRICE WATCH | FICTION | BIOGRAPHIES | E-BOOKS |
Modeling in Event-B: System and Software Engineering Book
* Excludes Voucher Code Discount Also available Used from £N/A
-
Blackwell
A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modeling and designing systems using an extension of the B formalism: Event-B. Based on the idea of refinement...
-
ASDA
A practical introduction to this model-based formal method containing a broad range of illustrative examples.
- 0521895561
- 9780521895569
- Jean-Raymond Abrial
- 13 May 2010
- Cambridge University Press
- Hardcover (Book)
- 612
- 1
Would you like your name to appear with the review?
We will post your book review within a day or so as long as it meets our guidelines and terms and conditions. All reviews submitted become the licensed property of www.find-book.co.uk as written in our terms and conditions. None of your personal details will be passed on to any other third party.
All form fields are required.