Computer-Aided Specification Techniques
Author: J Demetrovics
Publisher: World Scientific
ISBN: 9789814507981
Category:
Page: 128
View: 129
Language: un
Pages: 128
Pages: 128
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.
Language: en
Pages:
Pages:
Books about Bibliographic Guide to Computer Science
Language: un
Pages: 448
Pages: 448
This book constitutes the refereed proceedings of the 5th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2004, held in Austin, Texas, USA in November 2004. The 29 revised full papers presented together with the abstract of an invited talk were carefully reviewed and selected from 69 submissions. The
Language: en
Pages: 2529
Pages: 2529
Books about Books in Series, 1985-89
Language: en
Pages: 499
Pages: 499
Books about Artificial Intelligence and Information-control Systems of Robots -87
