【预订】Concurrency Verification 9780521806084 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780521806084 Author 作者 Willem-Paul de Roever Format 版本 精装 Pages Number 页数 800页 Publisher 出版社 Cambridge University Press Publication Date 出版日期 2001-11-01 Shipping Weight 商品重量 1230g Language 语种 英语 Book Contents 内容简介 This 2001 book is an introduction to verifying concurrent programs scaling up to a realistic size. It is self-contained and comprehensive, guiding the reader from advanced undergraduate level. Every method is illustrated by examples, and a picture gallery of some of the subject’s key figures complements the text.
¥2844
【预订】Concurrency Verification 9780521169325 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780521169325 Author 作者 Willem-Paul de Roever Format 版本 平装-胶订 Pages Number 页数 800页 Publisher 出版社 Cambridge University Press Publication Date 出版日期 2012-01-01 Shipping Weight 商品重量 1050g Language 语种 英语 Book Contents 内容简介 This 2001 book is an introduction to verifying concurrent programs scaling up to a realistic size. It is self-contained and comprehensive, guiding the reader from advanced undergraduate level. Every method is illustrated by examples, and a picture gallery of some of the subject’s key figures complements the text.
¥667.00
3-6周达 Concurrency Verification: Introduction to Compositiona 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥881.00
3-6周达 Concurrency Verification: Introduction to Compositiona 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥2755
【预订】Modeling, Verification and Exploration of Task-Level Con 美国库房发货，通常付款后3-5周到货！
¥1825
海外直订Modeling, Verification and Exploration of Task-Level Con
¥1550
海外直订Modeling, Verification and Exploration of Task-Level Con
¥1789
预订 Modeling, Verification and Exploration of Task-Level Conc 【全球购】进口原版图书，约3-6周到达国内后发出
¥1557
预订Concurrency Verification:Introduction to Compositional and 预订，预计下单后3-4周左右发货！
¥3633
