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位
B's-LOG
2位
八咫烏シリーズ
3位
変な絵
4位
わたしの幸せな結婚
5位
変な家2 ~11の間取り図~
6位
私が見た未来 完全版
7位
かくりよの宿飯
8位
拝啓見知らぬ旦那様、離婚していただきます
9位
ドールズフロントライン 公式設定画集
10位
後宮の検屍女官
11位
魚住くんシリーズ
12位
いたわりごはん
13位
宮廷神官物語(角川文庫版)
14位
小説 ブルーロック 戦いの前、僕らは。
15位
【TOジュニア文庫】本好きの下剋上
16位
星ひとみの天星術2024
17位
皇帝の薬膳妃 紅き棗と再会の約束
18位
丸の内で就職したら、幽霊物件担当でした。
19位
大正幽霊アパート鳳銘館の新米管理人
20位
刑事・鳴沢了
奉公物語~僕のお嬢様~【タテヨミ】
不倫暴露パーティ
やり直し新卒は今度こそキミを救いたい!?(フルカラー)
秘密の授業
ここからはオトナの時間です。
元夫から「ロミオメール」が届いた件について
ホタルの嫁入り【単話】
【単話】拝啓見知らぬ旦那様、離婚していただきます
どうせ捨てられるのなら、最後に好きにさせていただきます 【連載版】
離婚予定の契約婚なのに、冷酷公爵様に執着されています(分冊版)
noicomi鬼の花嫁
パンティーノート ~下着で交わる秘密ごと~(フルカラー)
名も知らず
パラダイス・プール
おいしい恋をください
売られた辺境伯令嬢は隣国の王太子に溺愛される
レンタル・マーダー~復讐のプロ、お貸しします~
あなたの妻じゃなくていいから~謝罪する夫を許せますか?~
恩を仇で返された令嬢の家族が黙っている訳がない【単話版】
すばらしき新世界(フルカラー)
小説・実用書 > 小説・実用書
小説・実用書 > 中島震
小説・実用書 > 來間啓伸
小説・実用書 > 近代科学社