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位
わたしの死にかた 知ってたら避けられた60の最期
8位
ふつつかな悪女ではございますが
9位
百鬼夜行シリーズ9冊合本版
10位
わたしの幸せな結婚
11位
侯爵家の次女は姿を隠す
12位
響け! ユーフォニアム
13位
アイドリッシュセブンオフィシャルファンブック
14位
変な家2 ~11の間取り図~
15位
「コードギアス 反逆のルルーシュ」生徒会報HOPE!~生徒会発行会報誌~
16位
拝啓見知らぬ旦那様、離婚していただきます
17位
50婚 影木、おひとり様やめるってよ
18位
田中~年齢イコール彼女いない歴の魔法使い~
19位
出遅れテイマーのその日暮らし
20位
悪役令嬢と鬼畜騎士
ヤンデレ魔法使いは石像の乙女しか愛せない 魔女は愛弟子の熱い口づけでとける 【短編】
奉公物語~僕のお嬢様~【タテヨミ】
イチゴ哀歌~雑で生イキな妹と割り切れない兄~【フルカラー】
やり直し新卒は今度こそキミを救いたい!?(フルカラー)
冷徹将軍の熱すぎる愛に寒がりメイドは戸惑い中
不倫暴露パーティ
【単話】結界師の一輪華
秘密の授業
ホタルの嫁入り【単話】
【単話】拝啓見知らぬ旦那様、離婚していただきます
精霊魔法が使えない無能だと婚約破棄されたので、義妹の奴隷になるより追放を選びました
元夫から「ロミオメール」が届いた件について
妖狐の旦那さま~大正花嫁奇譚~
パンティーノート ~下着で交わる秘密ごと~(フルカラー)
破滅の聖女は運命の夫の溺愛から逃れたい
noicomi鬼の花嫁
【単話版】ゾンビのあふれた世界で俺だけが襲われない(フルカラー)
【単話版】成り行きで婚約を申し込んだ弱気貧乏令嬢ですが、何故か次期公爵様に溺愛されて囚われています@COMIC
生まれ変わった剣聖、剣士が冷遇される魔術至上主義の学園で無双する
スイートプレジデント
小説・実用書 > 小説・実用書
小説・実用書 > 中島震
小説・実用書 > 來間啓伸
小説・実用書 > 近代科学社