Assertion-Based Design - Harry D. Foster - 图书 - Springer-Verlag New York Inc. - 9781402080272 - 2004年5月19日
如封面与标题不符，以标题为准

Harry D. Foster
Assertion-Based Design 2nd ed. 2004 edition

价格
元 1.077
不含税

远程仓调货

预计送达时间 年6月22日 - 年7月2日

顾客评价：

根据欧洲消费者保护法享受14天退换货政策
Trustpilot平台高分认证
添加至iMusic心愿单

其他版本：

Chapter 3 Specifying RTL Properties 61 3. 3 Declarative versus procedural 67 3. 3 RTL assertion specification techniques 68 RTL invariant assertions 69 3. 2 Declaring properties with PSL 72 RTL cycle related assertions 73 3. 3 3. 1 Immediate assertions 84 3. 3 System functions 95 3. 3 Assertions across simulation time slots 111 4.

390 pages, biography

介质类型 图书     Hardcover Book   (精装硬皮书)
已发行 2004年5月19日
ISBN13 9781402080272
出版商 Springer-Verlag New York Inc.
页数 390
商品尺寸 163 × 241 × 28 mm   ·   820 g
语言 英语  

Harry D. Foster的更多作品

显示全部

Mere med samme udgiver

查看Harry D. Foster的全部作品 ( 例如 Hardcover Book 及 Paperback Book )