Verifying Concurrent Processes Using Temporal Logic - Lecture Notes in Computer Science - B. T. Hailpern - 图书 - Springer-Verlag Berlin and Heidelberg Gm - 9783540112051 - 1982年3月1日
如封面与标题不符，以标题为准

B. T. Hailpern
Verifying Concurrent Processes Using Temporal Logic - Lecture Notes in Computer Science 1982 edition

价格
元 381
不含税

远程仓调货

预计送达时间 年6月8日 - 年6月18日

顾客评价：

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

209 pages, biography

介质类型 图书     Paperback Book   (平装胶订图书)
已发行 1982年3月1日
ISBN13 9783540112051
出版商 Springer-Verlag Berlin and Heidelberg Gm
页数 209
商品尺寸 155 × 233 × 11 mm   ·   312 g
语言 英语  

查看B. T. Hailpern的全部作品 ( 例如 Paperback Book )