Jean-Raymond Abrial is a researcher in the Department of Computer Science at ETH Zürich.
Modeling in Event-B
Abrial and 1 more
Ebook (Epub)
Digital. Available Immediately. Country restrictions apply.
£127.00
Rigorous Methods for Software Construction and Analysis
JeanRaymond Abrial
Paperback
Not Available
We use cookies to give you the best online experience. Please let us know if you agree to all of these cookies. To learn more view privacy and cookies policy.
