株式会社ジェーエフピー

要求仕様

SLP_vReq 2.x.x系

日本語訳 ファイル一覧

ファイル名 説明 日付 サイズ
eventb_c01_ja.pdf Modeling in Event-B 第1章 日本語訳 2011年9月20日 22 ページ
ファイル名 説明 日付 サイズ
eventb_c02_ja.pdf Modeling in Event-B 第2章 日本語訳 2011年9月14日 63 ページ

お断り

原著 Modeling in Event-B: System and Software Engineering は著作権で保護されており、日本語訳はAbrial博士とCambridge University Pressの許可により掲載されています。この日本語訳を有償で販売してはいけません。原著についての情報 もご覧ください。この日本語訳は 原著の正誤表 を反映しています。

The original book Modeling in Event-B: System and Software Engineering is in copyright, that the translation appears with permission of the Author of Cambridge University Press. This translation should not be sold or resold. See also the webpage for more information about the original book. This translation corresponds with the errata sheet for the original book.

Event-Bについての情報