Sign in
Join Literal
Modeling in Event-B
Jean-Raymond Abrial
Want to read
Sign up to use
Jean-Raymond Abrial
Modeling in Event-B
System and Software Engineering
Jean-Raymond Abrial
Want to read
Sign up to use
Want to read
Sign up to use
Overview
Reviews
Highlights
Editions
A practical introduction to this model-based formal method, containing a broad range of illustrative examples.
Discover more books like Modeling in Event-B