Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
"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, the author's systematic approach allows the user to construct models gradually and to facilitate a systematic reasoning method by means of proofs. Readers will learn how to build models of programs and, more generally, discrete systems, but this is all done with practice in mind. The numerous examples provided arise from various sources of computer system developments, including sequential programs, concurrent programs, and electronic circuits. The book also contains a large number of exercises and projects ranging in difficulty. Each of the examples included in the book has been proved using the Rodin Platform tool set, which is available free for download at www.event-b.org"--Provided by publisher.
Check nearby libraries
Buy this book
![Loading indicator](/images/ajax-loader-bar.gif)
Previews available in: English
Showing 5 featured editions. View all 5 editions?
Edition | Availability |
---|---|
1
Modeling in Event-B: System and Software Engineering
2013, Cambridge University Press
in English
1139195883 9781139195881
|
zzzz
Libraries near you:
WorldCat
|
2
Modeling in event-b: system and software engineering
2010, Cambridge University Press
in English
0521895561 9780521895569
|
aaaa
Libraries near you:
WorldCat
|
3
Modeling in Event-B: System and Software Engineering
2010, Cambridge University Press
in English
0511727860 9780511727863
|
zzzz
Libraries near you:
WorldCat
|
4
Modeling in Event-B: System and Software Engineering
2010, Cambridge University Press
in English
0511731221 9780511731228
|
zzzz
Libraries near you:
WorldCat
|
5
Modeling in Event-B: System and Software Engineering
2006, Cambridge University Press
in English
0511726473 9780511726477
|
zzzz
Libraries near you:
WorldCat
|
Book Details
Edition Notes
Includes bibliographical references and index.
Classifications
The Physical Object
ID Numbers
Community Reviews (0)
Feedback?History
- Created February 3, 2010
- 10 revisions
Wikipedia citation
×CloseCopy and paste this code into your Wikipedia page. Need help?
December 19, 2023 | Edited by ImportBot | import existing book |
May 4, 2023 | Edited by ImportBot | import existing book |
April 1, 2023 | Edited by ImportBot | import existing book |
November 13, 2020 | Edited by MARC Bot | import existing book |
February 3, 2010 | Created by ImportBot | Imported from Library of Congress MARC record. |