Event-B 電子書籍版

• 

• 4180円（税込）

  初めての方

  6回使える！最大70%OFFクーポン
  ※値引上限等条件あり

  詳細・獲得はこちら

  初めてではない方

  何回でも使える5%OFFクーポン
  
  

  詳細・獲得はこちら
  購入はこちら試し読み

  • 本作品について、無料施策・クーポン等の割引施策・PayPayポイント付与の施策を行う予定があります。
    この他にもお得な施策を常時実施中、また、今後も実施予定です。詳しくはこちら。
  専門書　コンピューター

  作品内容

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

作者の関連作品作者の作品一覧