イベント Event リファインメント [数学]

Mystics
デービーカバー
プレイモア
ンシャーラ・エンシャラー
OFFNEW

7件中 1件 - 7件 1

商品	説明	価格
Event‐B リファインメント・モデリングに基づく形式手法ポプカル楽天市場店	中島震／共著來間啓伸／共著本詳しい納期他、ご注文時はご利用案内・返品のページをご確認ください出版社名近代科学社出版年月2015年02月サイズ161P 24cmISBNコード9784764904248理学数学情報数学Event‐B リファインメント・モデリングに基づく形式手法イヴエントビ- EVENTB リフアインメントモデリングニモトズクケイシキシユホウ※ページ内の情報は告知なく変更になることがあります。あらかじめご了承ください登録日2015/02/25	4,180円
Event‐B リファインメント・モデリングに基づく形式手法／中島震／來間啓伸【3000円以上送料無料】 bookfan 1号店楽天市場店	著者中島震(共著) 來間啓伸(共著)出版社近代科学社発売日2015年02月ISBN9784764904248ページ数161PキーワードいヴえんとびーEVENTBりふあいんめんともでりんイヴエントビーEVENTBリフアインメントモデリンなかじましんくるまひろのナカジマシンクルマヒロノ9784764904248内容紹介Event-Bの入門書。利用するための仕様構築統合環境として、RODINプラットホームを解説。具体的に学べるよう図書館の事例※本データはこの商品が発売された時点の情報です。目次第1章形式手法とEvent‐B/第2章 Event‐B入門/第3章統合ツールRODIN/第4章事例1：図書館システム/第5章事例2：ドアロックシステム/第6章発展的な話題	4,180円
Event‐B リファインメント・モデリングに基づく形式手法ぐるぐる王国FS 楽天市場店	中島震／共著來間啓伸／共著本詳しい納期他、ご注文時はご利用案内・返品のページをご確認ください出版社名近代科学社出版年月2015年02月サイズ161P 24cmISBNコード9784764904248理学数学情報数学Event‐B リファインメント・モデリングに基づく形式手法イヴエントビ- EVENTB リフアインメントモデリングニモトズクケイシキシユホウ※ページ内の情報は告知なく変更になることがあります。あらかじめご了承ください登録日2015/02/25	4,180円
Event‐B リファインメント・モデリングに基づく形式手法[本/雑誌] / 中島震/共著來間啓伸/共著ネオウィング楽天市場店	ご注文前に必ずご確認ください＜商品説明＞そもそも形式手法とは、という話題、Event‐Bの基本的な考え方、RODINツールを用いるEvent‐B仕様作成ならびに検証作業の概要、Event‐Bの事例として、図書館システム、組込みシステム分野からの事例として、自動車のドアロックシステムを紹介。最後に発展的な話題を簡単にまとめる。＜収録内容＞第1章形式手法とEvent‐B第2章 Event‐B入門第3章統合ツールRODIN第4章事例1:図書館システム第5章事例2:ドアロックシステム第6章発展的な話題＜商品詳細＞商品番号：NEOBK-1778108Nakajima Shin / Kyocho Kurima Kei Shin / Kyocho / Event B Rifuaimmento Modelling Ni Motozuku Keishiki Shuhoメディア：本/雑誌重量：340g発売日：2015/02JAN：9784764904248Event‐B リファインメント・モデリングに基づく形式手法[本/雑誌] / 中島震/共著來間啓伸/共著2015/02発売	4,180円
Event‐B リファインメント・モデリングに基づく形式手法ぐるぐる王国　楽天市場店	中島震／共著來間啓伸／共著本詳しい納期他、ご注文時はご利用案内・返品のページをご確認ください出版社名近代科学社出版年月2015年02月サイズ161P 24cmISBNコード9784764904248理学数学情報数学商品説明Event‐B リファインメント・モデリングに基づく形式手法イヴエントビ- EVENTB リフアインメントモデリングニモトズクケイシキシユホウ※ページ内の情報は告知なく変更になることがあります。あらかじめご了承ください登録日2015/02/25	4,180円
Event‐B　リファインメント・モデリングに基づく形式手法　中島震/共著　來間啓伸/共著ドラマ×プリンセスカフェ	■ジャンル：理学＞数学＞全般■ISBN：9784764904248■商品名：Event‐B リファインメント・モデリングに基づく形式手法中島震/共著來間啓伸/共著★日時指定・銀行振込・コンビニ支払を承ることのできない商品になります商品情報商品名Event‐B　リファインメント・モデリングに基づく形式手法　中島震/共著　來間啓伸/共著フリガナイヴエントビ−　EVENTB　リフアインメント　モデリング　ニ　モトズク　ケイシキ　シユホウ著者名中島震/共著　來間啓伸/共著出版年月201502出版社近代科学社大きさ161P　24cm	4,180円
Event‐B リファインメント・モデリングに基づく形式手法／中島震／來間啓伸【1000円以上送料無料】 bookfan 2号店楽天市場店	著者中島震(共著) 來間啓伸(共著)出版社近代科学社発売日2015年02月ISBN9784764904248ページ数161PキーワードいヴえんとびーEVENTBりふあいんめんともでりんイヴエントビーEVENTBリフアインメントモデリンなかじましんくるまひろのナカジマシンクルマヒロノ9784764904248内容紹介Event-Bの入門書。利用するための仕様構築統合環境として、RODINプラットホームを解説。具体的に学べるよう図書館の事例※本データはこの商品が発売された時点の情報です。目次第1章形式手法とEvent‐B/第2章 Event‐B入門/第3章統合ツールRODIN/第4章事例1：図書館システム/第5章事例2：ドアロックシステム/第6章発展的な話題	4,180円