Modeling in Event-BAuthor :
Hardback
Published : Thursday 13 May 2010
Description
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.
You may also like ...
by
Hardback
13 May 2010
Computer programming / software engineering
€135.72
Extended stock – Dispatch 5-7 days
by
Paperback
20 Jan 2010
Computer programming / software engineering
€52.64
Extended stock – Dispatch 5-7 days
by
15 Jan 2021
Limnology (inland waters)
€7.01
Extended stock – Dispatch 5-7 days
by
28 Sep 2020
Reference works
€7.01
Extended stock – Dispatch 5-7 days
Reviews