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位
宮廷医の娘
11位
放射光ユーザーのための検出器ガイド―原理と使い方
12位
からだも暮らしも整う5日分の作り置き！ 頑張らない冷凍弁当と副菜
13位
陰陽師と天狗眼
14位
紫外可視・蛍光分光法
15位
合本 赤毛のアン・シリーズ 全8巻
16位
雀魂 公式アートブック
17位
黒狼王と白銀の贄姫 辺境の地で最愛を育む
18位
妖奇庵夜話
19位
シャドウ・オブ・アビス
20位
光の手 上下合本版
小説・実用書 > 小説・実用書
小説・実用書 > 中島震
小説・実用書 > 來間啓伸
小説・実用書 > 近代科学社
ERR_MNG
