预订 Formal Techniques for Networked and Distributed Systems - 【全球购】进口原版图书,约5-8周到达国内后发出
¥571.00
预订 Fostering Sustainable Business Models Through Financial M 【全球购】进口原版图书,约5-8周到达国内后发出
¥895.00
预订 Topics in Artificial Intelligence: 5th Catalonian Confere 【全球购】进口原版图书,约5-8周到达国内后发出
¥465.00
海外直订Formal Techniques for Networked and Distributed Systems
¥553.00
明星店铺 中华商务进口图书旗舰店
【预订】Formal Techniques for Networked and Distributed Systems 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540232520 Author 作者 Frutos-Escrig Format 版本 平装-胶订 Pages Number 页数 382页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2004-09-21 Language 语种 英语 Book Contents 内容简介 Among the topics addressed are state-based specification, distributed Java objects, UML and SDL, algorithm verification, communicating automata, design recovery, formal protocol testing, testing and model checking, distributed real-time systems, formal composition, distributed testing, automata for ACTL, symbolic state space.
¥520.00
预订 Topics in Artificial Intelligence 9783540000112 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783540000112 作者: Maria Teresa Escrig Monferrer 装帧: 平装-胶订 页数: 427页 出版社: Springer 尺寸: 22.9 x 15.2 x 2.5 cm 出版日期: 2002-10-09 重量: 454g 语种: 其它(含多语) 内容简介 This book constitutes the refereed proceedings of the 5th
¥1169
Formal Techniques for Networked and Distributed Systems - FO
¥725.90