loading

Computer-aided specification techniques / János Demetrovics, Elod Knuth, Péter Rado

Tác giả : János Demetrovics, Elod Knuth, Péter Rado

Nhà xuất bản : World Scientific

Năm xuất bản : 1985

Nơi xuất bản : Singapore

Mô tả vật lý : ix, 114 p. : ill. ; 24 cm

ISBN : 9971978539

Số phân loại : 620.00420285

Chủ đề : 1. Computer-aided design. 2. System design. 3. Thiết kế hệ thống. 4. Thiết kế máy tính.

Thông tin chi tiết

Tóm tắt :

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.

 Thông tin dữ liệu nguồn

 Thư viện  Ký hiệu xếp giá  Dữ liệu nguồn
Thư viện đại học Cần Thơ
https://lrcopac.ctu.edu.vn/pages/opac/wpid-detailbib-id-157577.html