Computer-aided specification techniques
著者
書誌事項
Computer-aided specification techniques
（Series in computer science, vol. 1）
World Scientific, c1985
- : pbk
大学図書館所蔵 件 / 全29件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
内容説明・目次
内容説明
This book gives an overview of the works performed by the Computer and Automation Institute of the Hungarian Academy of Sciences. Since the late 1970s, there was a need for the recognition of the fundamental role of adequate abstractions and higher level conceptual models in all fields of computer applications. The approach presented explores various conceptual descriptive methods of specification processing.
「Nielsen BookData」 より