ERR_MNG
漫画(まんが)・電子書籍ならコミックシーモア!
コミックシーモアをご利用の際はWebブラウザの設定でJavaScriptを有効にしてください。
→設定方法はこちら
コミックシーモアをご利用の際はWebブラウザの設定でCookieを有効にしてください。
シーモアを楽しもう!
もっと見る
総合ランキング
全書籍から探す
3,800pt/4,180円(税込)
会員登録限定70%OFFクーポンで お得に読める!
会員登録して70%OFFで購入
お気に入りに追加
小説・実用書
ランキング
最新刊を見る
新刊自動購入
※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。論理的なバクを発生させない形式手法!!Event-Bは、パリ地下鉄、ニューヨーク地下鉄、バルセロナ地下鉄、ドゴール空港のシャトルの無人運転を成功に導いた、J.R.アブリエル氏が考案した新しい形式仕様言語である。Event-Bは、仕様記述の単位をイベントとし、基礎となる集合論などはBメソッドの考え方を継承する。本書は、Event-Bの入門書である。また実際に利用するための仕様構築統合環境として、RODINプラットホームの利用方法を解説する。具体的に学べるよう図書館の事例や、組込みとして自動車のドアロック・システムを紹介している。形式手法や、形式仕様言語を学ぶ技術者や研究者には最適の書である。
9784764904248
この作品はまだレビューがありません。
レビュー投稿で最大1000pt!
1位
わたしの幸せな結婚
2位
変な絵
3位
拝啓見知らぬ旦那様、離婚していただきます
4位
准教授・高槻彰良の推察
5位
八咫烏シリーズ
6位
レーエンデ国物語
7位
悪役令嬢の兄の憂鬱
8位
自分をもっと好きになる 【ハピかわ】かわいいのルール(池田書店)
9位
結界師の一輪華
10位
変な家2 ~11の間取り図~
11位
私が見た未来 完全版
12位
変な家 文庫版
13位
俺、つしま
14位
小説 ブルーロック 戦いの前、僕らは。
15位
方舟
16位
刀剣乱舞絢爛図録
17位
椎名優画集 LiberStella~本好きの下剋上 & Other Works~
18位
意地悪な母と姉に売られた私。何故か若頭に溺愛されてます
19位
刀剣聖地巡礼ガイド×『刀剣乱舞ONLINE』
20位
らくだい魔女
元夫から「ロミオメール」が届いた件について
悪女(と誤解される私)が腹黒王太子様の愛され妃になりそうです!?
花秘める君のメテオール
【単話版】ゾンビのあふれた世界で俺だけが襲われない(フルカラー)
やり直し新卒は今度こそキミを救いたい!?(フルカラー)
奉公物語~僕のお嬢様~【タテヨミ】
秘密の授業
【単話】拝啓見知らぬ旦那様、離婚していただきます
嘘とセフレ
パンティーノート ~下着で交わる秘密ごと~(フルカラー)
不倫暴露パーティ
包帯ごっこ【単話】
レンタル・マーダー~復讐のプロ、お貸しします~
瓜を破る【単話版】
noicomi鬼の花嫁
ヤンデレ魔法使いは石像の乙女しか愛せない 魔女は愛弟子の熱い口づけでとける 【短編】
パラダイス・プール
どうせ捨てられるのなら、最後に好きにさせていただきます 【連載版】
未満。だけど愛して、愛して、愛しつくす
東郷家へ嫁いだ話
小説・実用書 > 小説・実用書
小説・実用書 > 中島震
小説・実用書 > 來間啓伸
小説・実用書 > 近代科学社