【预订】CONCUR 2007 - Concurrency Theory 9783540744061 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540744061 Author 作者 Luís Caires Format 版本 平装-胶订 Pages Number 页数 510页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-08-22 Language 语种 英语 Book Contents 内容简介 Thirty full papers are presented along with three important invited papers. Topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.
¥608.00
3-6周达 CONCUR 2007 - Concurrency Theory: 18th International C 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
海外直订CONCUR 2007 - Concurrency Theory: 18th International Con
¥553.00
