株式会社極東書店トップ ＞ 商品一覧 ＞ Understanding Z: A Specification Language and its Formal Semantics.
商品詳細
Understanding Z: A Specification Language and its Formal Semantics.
・ISBN 978-0-521-05414-0 paper GB£ 36.00
￥11,404.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
お気に入り
★★★
| 著者・編者 | Spivey, J. M., |
|---|---|
| シリーズ | (Cambridge Tracts in Theoretical Computer Science) |
| 出版社 | (Cambridge University Press, UK) |
| 出版年月 | 2008 |
| ページ数 | 140 pp. |
| 言語 | ENG |
| ニュース番号 | ＜A00-63604＞ |
解説
The Z notation is a language for expressing mathematical specifications of computing systems. By providing a formal semantics for Z, this book justifies the claim that Z is a precise specification language, and provides a standard framework for understanding Z specifications. Z is compared with other methods such as VDM and CLEAR, and in the final chapter, a number of studies in Z style are presented to show that Z can be used in a wide variety of specification tasks. This book will appeal to those who wish to deepen their understanding of the mathematical background of the Z method, those who want a concise definition of the language, and those interested in the design of specification languages.