Modeling in Event-B: System and Software Engineering - Jean-Raymond Abrial - Books - Cambridge University Press - 9780521895569 - May 13, 2010
In case cover and title do not match, the title is correct

Jean-Raymond Abrial
Modeling in Event-B: System and Software Engineering

Price
$ 200.49
excl. VAT

Ordered from remote warehouse

Expected delivery Dec 29 - Jan 8, 2026
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event-B. Contains a wide variety of examples and exercises ranging in difficulty to suit readers at all levels.

612 pages, 170 b/w illus. 30 exercises

Media Books     Hardcover Book   (Book with hard spine and cover)
Released May 13, 2010
ISBN13 9780521895569
Publishers Cambridge University Press
Pages 612
Dimensions 192 × 251 × 37 mm   ·   1.32 kg
Language English  

More by Jean-Raymond Abrial

Show all

Others have also bought

See all of Jean-Raymond Abrial ( e.g. Paperback Book and Hardcover Book )