Program Verification: Fundamental Issues in Computer Science - Studies in Cognitive Systems - Timothy T R Colburn - 图书 - Springer - 9789401047890 - 2012年10月2日
如封面与标题不符，以标题为准

Timothy T R Colburn
Program Verification: Fundamental Issues in Computer Science - Studies in Cognitive Systems Softcover reprint of the original 1st ed. 1993 edition

价格
元 2.311
不含税

远程仓调货

预计送达时间 年7月3日 - 年7月15日

顾客评价：

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

471 pages, black & white illustrations, bibliography

介质类型 图书     Paperback Book   (平装胶订图书)
已发行 2012年10月2日
ISBN13 9789401047890
出版商 Springer
页数 458
商品尺寸 228 × 154 × 34 mm   ·   693 g
编辑 Colburn, Timothy T.R.
编辑 Fetzer, J.H.
编辑 Rankin, R.L.

Mere med samme udgiver

查看Timothy T R Colburn的全部作品 ( 例如 Paperback Book )