Computer-Aided Specification Techniques

Computer-Aided Specification Techniques

Author: J Demetrovics

Publisher: World Scientific

ISBN: 9789814507981

Category:

Page: 128

View: 129

Download BOOK »

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. Contents: IntroductionConceptional ModelsFormal ModelsPrinciples of DescriptionsAn Application Example Readership: Computer scientists.
Computer-Aided Specification Techniques
Language: un
Pages: 128
Authors: J Demetrovics, E Knuth, P Radó
Categories:
Type: BOOK - Published: 1986-01-01 - Publisher: World Scientific

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.
Bibliographic Guide to Computer Science
Language: en
Pages:
Authors: J Demetrovics, E Knuth, P Radó
Categories: Computer science
Type: BOOK - Published: 1987 - Publisher:

Books about Bibliographic Guide to Computer Science
Formal Methods in Computer-Aided Design
Language: un
Pages: 448
Authors: Alan J. Hu, Andrew K. Martin
Categories: Computers
Type: BOOK - Published: 2005-01-18 - Publisher: Springer

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
Books in Series, 1985-89
Language: en
Pages: 2529
Authors: Alan J. Hu, Andrew K. Martin
Categories: Monographic series
Type: BOOK - Published: 1989 - Publisher:

Books about Books in Series, 1985-89
Artificial Intelligence and Information-control Systems of Robots -87
Language: en
Pages: 499
Authors: Ivan Plander
Categories: Artificial intelligence
Type: BOOK - Published: 1987 - Publisher: North Holland

Books about Artificial Intelligence and Information-control Systems of Robots -87