Event‐B リファインメント・モデリングに基づく形式手法／中島震／來間啓伸

著者中島震(共著) 來間啓伸(共著)出版社近代科学社発売日2015年02月ISBN9784764904248ページ数161PキーワードいヴえんとびーEVENTBりふあいんめんともでりんイヴエントビーEVENTBリフアインメントモデリンなかじましんくるまひろのナカジマシンクルマヒロノ9784764904248内容紹介Event-Bの入門書。利用するための仕様構築統合環境として、RODINプラットホームを解説。具体的に学べるよう図書館の事例
※本データはこの商品が発売された時点の情報です。目次第1章形式手法とEvent‐B/第2章 Event‐B入門/第3章統合ツールRODIN/第4章事例1：図書館システム/第5章事例2：ドアロックシステム/第6章発展的な話題

この商品の詳細を調べる

: 本・雑誌・コミック » 科学・医学・技術 » 数学