Modeling in Event-B: System and Software Engineering (English Edition) [Kindle]

著者 : Jean-RaymondAbrial

• Cambridge University Press (2010年5月13日発売)

感想・レビュー・書評

[kaizenさんの感想 · 2020年3月8日]

This is an official text book for Event-B.
The sample source codes of the book are on the Event-B web.
I input these sample source codes with typing as Shakyo(Buddhist sutra writing).
There are some differences between the book and the web.
It was recorded as errata on the Event-B web.
You should clarify about that in the event-b mailing list.

Errata of the Book "Modeling in Event-B"
http://www.event-b.org/A_errata.pdf

「人生で影響を受けた本100冊」の１冊。https://qiita.com/kaizen_nagoya/items/16af53acbb147a94172e