OFF

通販のことならWowma!(デナショ)

キーワード検索

  • を除く

カテゴリ選択

価格

円〜



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

↓送料無料で!

4,104円(税込)

82P(2.0%)

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

@P最大5倍★モバイルブークスストア

商品説明

総合ランキングへ


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

商品詳細

そもそも形式手法とは、という話題、Event‐Bの基本的な考え方、RODINツールを用いるEvent‐B仕様作成ならびに検証作業の概要、Event‐Bの事例として、図書館システム、組込みシステム分野からの事例として、自動車のドアロックシステムを紹介。最後に発展的な話題を簡単にまとめる。

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

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

ロットナンバー

221053439



P最大5倍★モバイルブークスストアで利用できるクーポン


P最大5倍★モバイルブークスストア

ログインまたは会員登録

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

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

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


ウィークリーランキング


お店の情報

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

キャンセル