Logic synthesis and verifications algorithms
Đã lưu trong:
| Tác giả chính: | |
|---|---|
| Tác giả khác: | |
| Ngôn ngữ: | Tiếng Anh |
| Được phát hành: |
Springer
2006
|
| Những chủ đề: | |
| Các nhãn: |
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
| số ISBN: | 978-81-8128-483-9 |
|---|