Formal Specification Level: Concepts, Methods, and Algorithms - Mathias Soeken - 图书 - Springer International Publishing AG - 9783319378824 - 2016年8月23日
如封面与标题不符,以标题为准

Formal Specification Level: Concepts, Methods, and Algorithms Softcover reprint of the original 1st ed. 2015 edition

价格
元 730
不含税

远程仓调货

预计送达时间 年6月11日 - 年6月23日
添加至iMusic心愿单

其他版本:

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
语言 德语  

Mere med samme udgiver