Computer-aided Specification Techniques: 1

Computer-aided Specification Techniques: 1 book cover

Computer-aided Specification Techniques: 1

Author(s): Janos Demetrovics (Author), Elod Knuth (Author), Peter Rado (Author)

  • Publisher: World Scientific Publishing Co Pte Ltd
  • Publication Date: 1 Jan. 1986
  • Edition: Illustrated
  • Language: English
  • Print length: 128 pages
  • ISBN-10: 9971978539
  • ISBN-13: 9789971978532

Book Description

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.

View on Amazon

电子书代发PDF格式价格30我要求助
未经允许不得转载:Wow! eBook » Computer-aided Specification Techniques: 1