登入選單

返回Google圖書搜尋

Computer-aided Specification Techniques

J nos DemetrovicsEl”d KnuthP‚ter Rad¢P. Rado

出版	World Scientific, 1985
主題	Computers / Computer ScienceComputers / Software Development & Engineering / Systems Analysis & Design
ISBN	99715009579789971500955
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.