Computer-Aided Reasoning: ACL2 Case Studies - Advances in Formal Methods - Matt Kaufmann - 图书 - Springer - 9780792378495 - 2000年6月30日
如封面与标题不符，以标题为准

Matt Kaufmann
Computer-Aided Reasoning: ACL2 Case Studies - Advances in Formal Methods 2000 edition

价格
元 1.400
不含税

远程仓调货

预计送达时间 年7月20日 - 年7月30日

顾客评价：

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

Not rated yet

Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software systems.

337 pages, biography

介质类型 图书     Hardcover Book   (精装硬皮书)
已发行 2000年6月30日
ISBN13 9780792378495
出版商 Springer
页数 337
商品尺寸 155 × 235 × 20 mm   ·   684 g
语言 英语  
编辑 Kaufmann, Matt
编辑 Manolios, Panagiotis
编辑 Moore, J Strother

Mere med samme udgiver

查看Matt Kaufmann的全部作品 ( 例如 Paperback Book 及 Hardcover Book )