¥ 4,104
この書籍はよりお買い得なバージョンをご購入いただけます
Kindle版を選ぶと、¥ 410 (10%) お買い得にご購入いただけます。
¥ 3,694
Kindle版価格
¥ 4,104
単行本

Kindle版を選ぶと、<span class="a-color-price">¥ 410 (10%)</span> お買い得にご購入いただけます。 iOS, Android, Mac & パソコンで使えるKindle無料アプリで今すぐ読む
通常配送無料 詳細
残り1点(入荷予定あり) 在庫状況について
この商品は、Amazon.co.jp が販売、発送します。 ギフトラッピングを利用できます。
Event-B: リファインメント・モデリングに基... がカートに入りました

お届け先住所
アドレス帳を使用するにはサインインしてください
または
-
正しい郵便番号を入力してください。
または
この商品をお持ちですか? マーケットプレイスに出品する
裏表紙を表示 表紙を表示
サンプルを聴く 再生中... 一時停止   Audible オーディオエディションのサンプルをお聴きいただいています。
2点すべてのイメージを見る

Event-B: リファインメント・モデリングに基づく形式手法 単行本 – 2015/2/26

5つ星のうち 3.0 1 件のカスタマーレビュー

その他(2)の形式およびエディションを表示する 他のフォーマットおよびエディションを非表示にする
Amazon 価格
新品 中古品
Kindle版
単行本
¥ 4,104
¥ 4,104 ¥ 6,277
click to open popover

キャンペーンおよび追加情報


Kindle 端末は必要ありません。無料 Kindle アプリのいずれかをダウンロードすると、スマートフォン、タブレットPCで Kindle 本をお読みいただけます。

  • Apple
  • Android
  • Android

無料アプリを入手するには、Eメールアドレスを入力してください。


商品の説明

内容紹介

論理的なバクを発生させない形式手法!!
Event-Bは、パリ地下鉄、ニューヨーク地下鉄、バルセロナ地下鉄、ドゴール空港のシャトルの無人運転を成功に導いた、J.R.アブリエル氏が考案した新しい形式仕様言語である。
Event-Bは、仕様記述の単位をイベントとし、基礎となる集合論などはBメソッドの考え方を継承する。
本書は、Event-Bの入門書である。また実際に利用するための仕様構築統合環境として、RODINプラットホームの利用方法を解説する。具体的に学べるよう図書館の事例や、組込みとして自動車のドアロック・システムを紹介している。
形式手法や、形式仕様言語を学ぶ技術者や研究者には最適の書である。

内容(「BOOK」データベースより)

そもそも形式手法とは、という話題、Event‐Bの基本的な考え方、RODINツールを用いるEvent‐B仕様作成ならびに検証作業の概要、Event‐Bの事例として、図書館システム、組込みシステム分野からの事例として、自動車のドアロックシステムを紹介。最後に発展的な話題を簡単にまとめる。

商品の説明をすべて表示する

登録情報

  • 単行本: 161ページ
  • 出版社: 近代科学社 (2015/2/26)
  • 言語: 日本語
  • ISBN-10: 4764904241
  • ISBN-13: 978-4764904248
  • 発売日: 2015/2/26
  • 梱包サイズ: 23.2 x 18.2 x 2 cm
  • おすすめ度: 5つ星のうち 3.0 1 件のカスタマーレビュー
  • Amazon 売れ筋ランキング: 本 - 850,008位 (本の売れ筋ランキングを見る)
  • さらに安い価格について知らせる
    この商品を出品する場合、出品者サポートを通じて更新を提案したいですか?

  • 目次を見る

カスタマーレビュー

5つ星のうち3.0
他のお客様にも意見を伝えましょう
すべてのカスタマーレビューを見る(1)

トップカスタマーレビュー

2015年11月10日
形式: 単行本|Amazonで購入
0コメント|このレビューは参考になりましたか?はいいいえ違反を報告
同様の商品をご覧になりませんか? こちらのリンクで参照ください。日産ジューク パーツ日産ノート パーツ車 ドレスアップc26セレナc26