分享给好友:
Architecture Design and Validation Methods Egon Borger
价格
元 379
不含税
远程仓调货
预计送达时间 年6月22日 - 年7月2日
添加至iMusic心愿单
其他版本:
Architecture Design and Validation Methods
Egon Borger
This volume surveys advances in the design and validation of computer architectures. The chapters cover topics including: modelling and synthesis of behaviour, control, and dataflow; cell-based logic optimization; machine-assisted verification; and virtual machine design.
366 pages, 175 illustrations
| 介质类型 | 图书 Hardcover Book (精装硬皮书) |
| 已发行 | 2000年3月6日 |
| ISBN13 | 9783540649762 |
| 出版商 | Springer-Verlag Berlin and Heidelberg Gm |
| 页数 | 366 |
| 商品尺寸 | 165 × 230 × 23 mm · 585 g |
| 语言 | 法语 |
| 编辑 | Borger, Egon |