Event‐B リファインメント・モデリングに基づく形式手法/中島震/來間啓伸
販売価格
4,180
円 （税込）
送料無料
- 出荷目安：
- 1～3日で発送予定
たまるdポイント（通常） 38
※たまるdポイントはポイント支払を除く商品代金(税抜)の1％です。
dカードでお支払ならポイント3倍
- 商品情報
- レビュー
中島震來間啓伸
近代科学社
ISBN：4764904241/9784764904248
発売日:2015年02月
【内容紹介】
Event－Bの入門書。利用するための仕様構築統合環境として、RODINプラットホームを解説。具体的に学べるよう図書館の事例
近代科学社
ISBN：4764904241/9784764904248
発売日:2015年02月
【内容紹介】
Event－Bの入門書。利用するための仕様構築統合環境として、RODINプラットホームを解説。具体的に学べるよう図書館の事例
※本データはこの商品が発売された時点の情報です。