分享给好友:
Formal Specification Level: Concepts, Methods, and Algorithms Mathias Soeken Softcover reprint of the original 1st ed. 2015 edition
价格
元 730
不含税
远程仓调货
预计送达时间 年6月11日 - 年6月23日
添加至iMusic心愿单
其他版本:
Formal Specification Level: Concepts, Methods, and Algorithms
Mathias Soeken
This book introduces a new level of abstraction that closes the gap between the textual specification of embedded systems and the executable model at the Electronic System Level (ESL).
146 pages, 87 black & white illustrations, 6 black & white tables, biography
| 介质类型 | 图书 Paperback Book (平装胶订图书) |
| 已发行 | 2016年8月23日 |
| ISBN13 | 9783319378824 |
| 出版商 | Springer International Publishing AG |
| 页数 | 138 |
| 商品尺寸 | 155 × 235 × 8 mm · 217 g |
| 语言 | 德语 |