Computer Aided Specification Techniques - Couverture rigide

Demetrovics, Janos; Knuth, Elod; Rado, Peter

 
9789971978532: Computer Aided Specification Techniques

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.

Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.

Autres éditions populaires du même titre

9789971500955: Computer-Aided Specification Techniques

Edition présentée

ISBN 10 :  9971500957 ISBN 13 :  9789971500955
Editeur : Wspc, 1986
Couverture souple