Items related to Computer-aided Specification Techniques: 1 (World Scientific...

Computer-aided Specification Techniques: 1 (World Scientific Series In Computer Science) - Hardcover

Demetrovics, Janos; Knuth, Elod; Rado, Peter

 
9789971978532: Computer-aided Specification Techniques: 1 (World Scientific Series In Computer Science)

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.

"synopsis" may belong to another edition of this title.