試験公開中

このエントリーをはてなブックマークに追加

Event-B:リファインメント・モデリングに基づく形式手法

近代科学社

3,800円+税

本書は、Event-Bの入門書である。また実際に利用するための仕様構築統合環境として、RODINプラットホームの利用方法を解説する。具体的に学べるよう図書館の事例や、組込みとして自動車のドアロック・システムを紹介している。形式手法や、形式仕様言語を学ぶ技術者や研究者には最適の書である。

【注意】本書のEPUB版は固定レイアウト型になっております。文字の大きさの変更や検索、引用などはお使いいただけません。画面の大きい端末でご利用ください。

ページサンプル閲覧

以下はPDF版の先頭ページなどから、一部を抜粋して縮小した画像です。
(※EPUB版を提供している書籍の場合、基本的に内容は同じですが、見映えは異なります。 またお使いのEPUBリーダによっても見え方は大きく異なることがあります。)

Home 書籍一覧 Event-B:リファインメント・モデリングに基づく形式手法 ▲ ページトップへ戻る