登入
選單
返回
Google圖書搜尋
Computer-aided Specification Techniques
J nos Demetrovics
Eld Knuth
Pter Rad¢
P. Rado
出版
World Scientific
, 1985
主題
Computers / Computer Science
Computers / Software Development & Engineering / Systems Analysis & Design
ISBN
9971500957
9789971500955
URL
http://books.google.com.hk/books?id=zS9qDQAAQBAJ&hl=&source=gbs_api
EBook
SAMPLE
註釋
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.