Specification case studies
著者
書誌事項
Specification case studies
（Prentice-Hall International series in computer science）
Prentice Hall International, 1993
2nd ed
大学図書館所蔵 件 / 全11件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
内容説明・目次
内容説明
Presenting a series of up-to-date case studies in the use of Z from leading researchers, this book is divided into four parts: tutorials, software engineering, distributed computing, and transaction processing.
目次
- Tutorials
- software engineering
- distributed computing
- transaction processing.
「Nielsen BookData」 より
