漫画（まんが）・電子書籍ならコミックシーモア！
コミックシーモアをご利用の際はWebブラウザの設定でJavaScriptを有効にしてください。
→(参考)ブラウザでJavaScriptを許可する ※外部サイトへ遷移します
巻（見開き形式）について
セーフサーチ？
シーモアを楽しもう!
もっと見る
総合ランキング
全書籍から探す
3,800pt/4,180円(税込)
会員登録限定70%OFFクーポンで 1,140pt/1,254円(税込)
会員登録して70%OFFで購入
お気に入りに追加
小説・実用書
ランキング
最新刊を見る
新刊自動購入
※この商品はタブレットなど大きいディスプレイを備えた端末で読むことに適しています。また、文字だけを拡大することや、文字列のハイライト、検索、辞書の参照、引用などの機能が使用できません。論理的なバクを発生させない形式手法!!Event-Bは、パリ地下鉄、ニューヨーク地下鉄、バルセロナ地下鉄、ドゴール空港のシャトルの無人運転を成功に導いた、J.R.アブリエル氏が考案した新しい形式仕様言語である。Event-Bは、仕様記述の単位をイベントとし、基礎となる集合論などはBメソッドの考え方を継承する。本書は、Event-Bの入門書である。また実際に利用するための仕様構築統合環境として、RODINプラットホームの利用方法を解説する。具体的に学べるよう図書館の事例や、組込みとして自動車のドアロック・システムを紹介している。形式手法や、形式仕様言語を学ぶ技術者や研究者には最適の書である。
9784764904248
レビュー募集中！
レビュー投稿で最大1000pt!
1位
今宵は異世界探偵事務所で
2位
崎義一の優雅なる生活
3位
ダクダデイラ
4位
婚約者の王子に毒を盛られたので愛が冷めました
5位
ダレン・シャン
6位
ぷりっつ電子文庫
7位
准教授・高槻彰良の推察
8位
マッチング
9位
総長さま、溺愛中につき。
10位
暁の天使たち1
11位
拝啓見知らぬ旦那様、離婚していただきます
12位
もう二度と助けを求めないでください
13位
県民性マンガうちのトコでは
14位
ホーンテッド・キャンパス
15位
弁当屋さんのおもてなし
16位
桜龍
17位
ちいかわ お友だちとのつき合いかた
18位
皇帝の薬膳妃 紅き棗と再会の約束
19位
『あんさんぶるスターズ！THE STAGE』-10th Anniversary LIVE- パンフレット【電子版】
20位
ブルーアーカイブ オフィシャルアートワークス
小説・実用書 > 小説・実用書
小説・実用書 > 中島震
小説・実用書 > 來間啓伸
小説・実用書 > 近代科学社
page top▲
巻（見開き形式）について
