分享给好友:
Synchronous Equivalence: Formal Methods for Embedded Systems Harry Hsieh 2001 edition
价格
元 713
不含税
远程仓调货
预计送达时间 年7月24日 - 年8月5日
添加至iMusic心愿单
其他版本：
Synchronous Equivalence: Formal Methods for Embedded Systems
Harry Hsieh
An embedded system is loosely defined as any system that utilizes electronics but is not perceived or used as a general-purpose computer. The authors review the framework upon which the theories and experiments are based, and through which the formal methods are linked to synthesis and simulation.
136 pages, biography
| 介质类型 | 图书 Hardcover Book (精装硬皮书) |
| 已发行 | 2000年12月31日 |
| ISBN13 | 9780792372622 |
| 出版商 | Springer |
| 页数 | 136 |
| 商品尺寸 | 155 × 235 × 11 mm · 911 g |
| 语言 | 英语 |
![Cover for Carsten Rossi · Happiness Hacks: Das Anti-Digital-Detox-Buch: Wie digitale Medien Sie glucklich machen konnen (Paperback Book) [1. Aufl. 2025 edition] (2027)](https://imusic.com.cn/local-image/images/missing-tall.png)
