この商品を友人に教える:
Modeling in Event-B: System and Software Engineering
Jean-Raymond Abrial
価格
Mex$ 3.671
税抜
遠隔倉庫からの取り寄せ
発送予定日 年12月1日 - 年12月11日
クリスマスプレゼントは1月31日まで返品可能です
iMusicのウィッシュリストに追加
Modeling in Event-B: System and Software Engineering
Jean-Raymond Abrial
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
| メディア | 書籍 Hardcover Book (ハードカバー付きの本) |
| リリース済み | 2010年5月13日 |
| ISBN13 | 9780521895569 |
| 出版社 | Cambridge University Press |
| ページ数 | 612 |
| 寸法 | 192 × 251 × 37 mm · 1,32 kg |
| 言語 | 英語 |
![Cover for Jean-raymond Abrial · Formal Methods for Industrial Applications: Specifying and Programming the Steam Boiler Control - Lecture Notes in Computer Science (Paperback Book) [1996 edition] (1996)](https://imusic.b-cdn.net/images/item/original/291/9783540619291.jpg?jean-raymond-abrial-1996-formal-methods-for-industrial-applications-specifying-and-programming-the-steam-boiler-control-lecture-notes-in-computer-science-paperback-book&class=scaled&v=1525959309)
