Computer-Aided Specification Techniques (Paperback) (ISBN-13: 9789971500955)

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.

Author: Janos Demetrovics,Elod Knuth,Peter Rado
ISBN-10: 9971500957
ISBN-13: 9789971500955
Publisher: World Scientific Publishing Company
Language: English
Published: 01/01/1986
Pages: 128
Format: Paperback
Weight: 0.39lbs
Size: 9.00h x 6.00w x 0.27d