Constraint-Based Verification - Jun Yuan - 图书 - Springer-Verlag New York Inc. - 9781441938527 - 2010年10月29日
如封面与标题不符，以标题为准

Jun Yuan
Constraint-Based Verification Softcover reprint of hardcover 1st ed. 2006 edition

价格
元 730
不含税

远程仓调货

预计送达时间 年6月11日 - 年6月23日

顾客评价：

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

其他版本：

Covers the methodology and state-of-the-art techniques of constrained verification, which is new and popular. It relates constrained verification with the also-hot technology called assertion-based design. Discussed and clarifies language issues, critical to both the above, which will help the implementation of these languages.

254 pages, 72 black & white illustrations, biography

介质类型 图书     Paperback Book   (平装胶订图书)
已发行 2010年10月29日
ISBN13 9781441938527
出版商 Springer-Verlag New York Inc.
页数 254
商品尺寸 155 × 235 × 14 mm   ·   376 g
语言 英语  

Mere med samme udgiver

查看Jun Yuan的全部作品 ( 例如 Hardcover Book 及 Paperback Book )