Computer Aided Specification Techniques

Demetrovics, Janos; Knuth, Elod; Rado, Peter

ISBN 10: 9971978539 / ISBN 13: 9789971978532

Published by World Scientific Publishing Company, 1986

About this Item

Unread book in perfect condition.

Seller Inventory # 3322571

Bibliographic Details

• Title: Computer Aided Specification Techniques
• Publisher: World Scientific Publishing Company
• Publication Date: 1986
• Language: English
• ISBN 10: 9971978539
• ISBN 13: 9789971978532
• Binding: Hardcover
• Condition: As New

About this title

Synopsis

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.