The Z notation : a reference manual
著者
書誌事項
The Z notation : a reference manual
(Prentice-Hall International series in computer science)
Prentice Hall, c1992
2nd ed
大学図書館所蔵 件 / 全15件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes index
内容説明・目次
内容説明
This manual provides a detailed guide to the use of the Z notation, which is used for designing and specifying computer systems. This second edition establishes a set of notations and conventions of the use of Z and offers a tutorial introduction to the main features and data refinement.
目次
- Tutorial introduction
- background
- the Z language
- the mathematical tool-kit
- sequential systems
- syntax summary.
「Nielsen BookData」 より