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 a...
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| التنسيق: | كتاب |
| اللغة: | Undetermined |
| منشور في: |
Singapore
World Scientific
1985
|
| الموضوعات: | |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
| Thư viện lưu trữ: | Trung tâm Học liệu Trường Đại học Cần Thơ |
|---|
| LEADER | 01000nam a2200205Ia 4500 | ||
|---|---|---|---|
| 001 | CTU_157577 | ||
| 008 | 210402s9999 xx 000 0 und d | ||
| 020 | |c 73 | ||
| 082 | |a 620.00420285 | ||
| 082 | |b D377 | ||
| 100 | |a Demetrovics, János | ||
| 245 | 0 | |a Computer-aided specification techniques | |
| 245 | 0 | |c János Demetrovics, Elod Knuth, Péter Rado | |
| 260 | |a Singapore | ||
| 260 | |b World Scientific | ||
| 260 | |c 1985 | ||
| 520 | |a 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. | ||
| 650 | |a System design,Computer-aided design | ||
| 904 | |i Bạch Trúc | ||
| 980 | |a Trung tâm Học liệu Trường Đại học Cần Thơ | ||