Thông tin tài liệu
Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.editor | Alexander Ivrii, Ofer Strichman | vi |
| dc.date.accessioned | 2024-09-11T03:42:36Z | - |
| dc.date.available | 2024-09-11T03:42:36Z | - |
| dc.date.issued | 2020 | - |
| dc.identifier.isbn | 9783854480426 | vi |
| dc.identifier.other | OER000003373 | vi |
| dc.identifier.uri | http://dlib.hust.edu.vn/handle/HUST/25422 | - |
| dc.description | Ebook miễn phí tại trang https://library.oapen.org/ | vi |
| dc.description.abstract | Hội nghị về các phương pháp hình thức trong thiết kế có sự hỗ trợ của máy tính (FMCAD) là hội nghị thường niên về lý thuyết và ứng dụng của các phương pháp hình thức trong xác minh phần cứng và hệ thống. FMCAD cung cấp một diễn đàn hàng đầu cho các nhà nghiên cứu trong giới học thuật và công nghiệp để trình bày và thảo luận về các phương pháp, công nghệ, kết quả lý thuyết và công cụ mang tính đột phá về các hệ thống máy tính. FMCAD bao gồm các khía cạnh chính thức của thiết kế hệ thống được máy tính hỗ trợ bao gồm xác minh, đặc tả, tổng hợp và thử nghiệm. | vi |
| dc.description.uri | https://library.oapen.org/handle/20.500.12657/49587 | vi |
| dc.format | vi | |
| dc.language.iso | en | vi |
| dc.publisher | TU Wien Academic Press | vi |
| dc.rights | Attribution 3.0 Vietnam | * |
| dc.rights.uri | http://creativecommons.org/licenses/by/3.0/vn/ | * |
| dc.subject | Kỹ thuật máy tính | vi |
| dc.subject | Mạch tích hợp | vi |
| dc.subject | Thiết kế có sự hỗ trợ của máy tính | vi |
| dc.subject | Phương pháp hình thức | vi |
| dc.subject | Xử lý dữ liệu | vi |
| dc.subject | Hội thảo | vi |
| dc.subject.lcc | TK7874.65 | vi |
| dc.title | Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020 | vi |
| dc.type | Ebooks (Sách điện tử) | vi |
| Appears in Collections: | OER - Công nghệ thông tin | |
Files in This Item:
This item is licensed under a Creative Commons License
