OFF

通販のことならWowma!

キーワード検索

  • を除く

カテゴリ選択

価格

円〜



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

4,104円(税込)

41P(1.0%)

アプリからの購入でポイント最大 7 倍 詳細

auかんたん決済 クレカ | ケータイ払い

@bookfan Wowma!店

商品説明

【内容紹介】
そもそも形式手法とは、という話題、Event‐Bの基本的な考え方、RODINツールを用いるEvent‐B仕様作成ならびに検証作業の概要、Event‐Bの事例として、図書館システム、組込みシステム分野からの事例として、自動車のドアロックシステムを紹介。最後に発展的な話題を簡単にまとめる。
※本データはこの商品が発売された時点の情報です。

中島震(共著)
來間啓伸(共著)
出版社:近代科学社
ISBN:4764904241/9784764904248
発行年月:2015年02月


支払い・配送時期

商品代金の支払い時期や商品が配送される時期についての詳細情報
支払い・配送時期について詳細

支払い・配送時期について

商品代金の支払い時期や商品が配送される時期についての詳細情報
支払い・配送時期について詳細

ロットナンバー

221053439



bookfan Wowma!店で利用できるクーポン


bookfan Wowma!店

ログインまたは会員登録

お気に入り登録をするためには、ログインまたは会員登録が必要です。

この商品を見た人はこんな商品もみています


ウィークリーランキング


お店の情報

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

キャンセル