Computer-aided Specification Techniques

Peter Rado author Janos Demetrovics author Elod Knuth author

Format:Hardback

Publisher:World Scientific Publishing Co Pte Ltd

Published:1st Jan '86

Currently unavailable, our supplier has not provided us a restock date

Computer-aided Specification Techniques cover

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.

ISBN: 9789971978532

Dimensions: unknown

Weight: unknown

128 pages