Updates

Latest Tweet



What's New?

Check out for latest innovation, a computer based training video collection


Like this Page

Modeling in Event-B


Add Book to List

Please select a book list

Add
Home / Book / Modeling in Event-B


Previews

Amazon Readr

Share this Great Computer eBook

Link to this page

Our Collection

PrevNext


A practical text suitable for introductory or advanced courses in formal methods, this book presents a mathematical approach to modeling and design systems using the expansion of the formal method B: Event-B. The examples given many arising from the various sources of development of computer systems, including sequential programs, concurrent programs and electronic circuits.

Computer eBook Details

IT Book Reviews

Computer Ebook Author

IT Book Categories

Book Subject

software engineering science abstraction academia actor model parallel computing software development process formal methods scientific modeling formal sciences

Buy this Book

Borrow or Download eBook

Grab