DEMETROVICS J KNUTH ELOD & RADO PETER (EN) — COMPUTER-AIDED SPECIFICATION TECHNIQUES

COMPUTER-AIDED SPECIFICATION TECHNIQUES краткое содержание

COMPUTER-AIDED SPECIFICATION TECHNIQUES - описание и краткое содержание, автор DEMETROVICS J KNUTH ELOD & RADO PETER (EN), читать бесплатно онлайн на сайте электронной библиотеки Lib-King.Ru.

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 ExampleReadership: Computer scientists.Key Features: Provides an important source of new and not-yet-published results from the growing Asian and international geoscience community Presents a unique view of the rapid scientific progress made by Asian researchers in topics crucial to the future of the global environment Highlights a first-hand description of how the largest scientific population in the world is working together to manage the environmental problems which will determine the economic and social growth of the world itself