Computer-aided Specification Techniques

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.

Détails du produit

• Auteurs: Janos Demetrovics, Janos (Hungarian Academy Of Sciences Demetrovics, Demetrovics Janos, E Knuth, J Demetrovics, E Knuth P Rado J Demetrovics, E. Knuth, Elod Knuth, Elod (Hungarian Academy Of Sciences Knuth, P Radó, Peter Rado, Peter (.) Rado, Rado Peter
• Edition: Ingram Publishers Services
• Langues: Anglais
• Format d'édition: Livre Relié
• Sortie: 01.01.1986
• EAN: 9789971978532
• ISBN: 978-9971-978-53-2
• Thèmes: World Scientific Series In Computer Science; World Scientific Series In Computer Science; World Scientific Computer Scie
• Catégories: Livres de conseils; Sciences naturelles, médecine, informatique, technique > Informatique, ordinateurs > Informatique; Software Engineering, TECHNOLOGY & ENGINEERING / Industrial Engineering, TECHNOLOGY & ENGINEERING / Manufacturing, COMPUTERS / Design, Graphics & Media / CAD-CAM, Computer aided manufacture (CAM)