预订 Distributed Algorithms: An Intuitive Approach [ISBN:97802 【全球购】进口原版图书,约5-8周到达国内后发出
¥888.00
预订 高被引Introduction to Process Algebra [ISBN:9783642085840] 【全球购】进口原版图书,约5-8周到达国内后发出
¥446.00
海外直订Modelling Distributed Systems 分布式系统建模
¥638.00
明星店铺 中华商务进口图书旗舰店
预订 Modelling Distributed Systems 预订,预计下单后3-4周左右发货!
¥890.00
【预订】Introduction to Process Algebra 9783540665793 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540665793 Author 作者 Fokkink Format 版本 精装 Pages Number 页数 168页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1999-12-23 Language 语种 英语 Book Contents 内容简介 Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term rewriting.The theory of process algebra has developed rapidly over the last twenty years, and verification tools have been developed on the basis of process algebra, often in cooperation with techniques related to model checking. This textbook gives a thorough introduction into the basics of process algebra and its applications.
¥528.00
海外直订Distributed Algorithms 分布式算法
¥525.00
明星店铺 中华商务进口图书旗舰店
【预订】Distributed Algorithms: An Intuitive Approach 9780262037 美国库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9780262037662 Author 作者 Fokkink, Wan(作者) Format 版本 精装 Pages Number 页数 272页 Publisher 出版社 Mit Press Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 9.1 x 8.2 x 0.9 cm Shipping Weight 商品重量 1500g Language 语种 英语
¥382.00
预订Modelling Distributed Systems [ISBN:9783642093210] 【全球购】进口原版图书,约5-8周到达国内后发出
¥457.00
【预订】Introduction to Process Algebra 9783642085840 美国库房发货,通常付款后3-5周到货!
¥528.00
预订 Modelling Distributed Systems 9783642093210 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783642093210 作者: Wan Fokkink 装帧: 平装-胶订 页数: 154页 出版社: Springer 尺寸: 0.9 x 0.6 x 23.3 cm 出版日期: 2010-11-18 重量: 1g 语种: 其它(含多语) 内容简介 This textbook guides students through algebraic specification and verification
¥777.00
【预订】Modelling Distributed Systems 9783642093210 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783642093210 Author 作者 Wan Fokkink Format 版本 平装-胶订 Pages Number 页数 154页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2010-11-18 Language 语种 英语 Book Contents 内容简介 A distributed system is driven by separate components that are executed in parallel, and protocols for such systems form a major aspect of system design in today’s world of wireless and mobile networking. Process algebras are languages for the deion of elementary parallel systems and are used to study the behavioural properties of distributed systems, but they often lack the ability to handle data. This textbook guides students through algebraic specification and verification of distributed systems, and some of the most prominent formal verification techniques. The author employs ?CRL as the vehicle, a language developed to combine process algebra and abstract
¥501.00
海外直订Introduction to Process Algebra 过程代数概论
¥574.00
明星店铺 中华商务进口图书旗舰店
预订Distributed Algorithms:An Intuitive Approach 预订,预计下单后2-3周左右发货!
¥726.00
英文原版 Distributed Algorithms The MIT Press 分布式算法 第二版 计算机 Wan
¥439.00
【预订】Modelling Distributed Systems 美国库房发货,通常付款后3-5周到货!
¥446.00
海外直订Introduction to Process Algebra 过程代数概论
¥594.00
明星店铺 中华商务进口图书旗舰店
海外直订Modelling Distributed Systems 分布式系统建模
¥596.00
明星店铺 中华商务进口图书旗舰店
预订 Introduction to Process Algebra 9783642085840 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783642085840 作者: Wan Fokkink 装帧: 平装-胶订 页数: 168页 出版社: Springer 尺寸: 0.9 x 0.6 x 23.3 cm 出版日期: 2010-12-07 重量: 1g 语种: 其它(含多语) 内容简介 Automated and semi-automated manipulation of so-called labelled transition syste
¥682.00