【预订】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.
¥608.00
【预订】Formal Techniques for Networked and Distributed Systems 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540201755 Author 作者 K?nig Format 版本 平装-胶订 Pages Number 页数 429页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-09-23 Language 语种 英语 Book Contents 内容简介 This volume contains the proceedings of FORTE 2003, the 23rd IFIP TC 6/ WG 6.1 International Conference on Formal Techniques for Networked and D- tributed Systems, held in Berlin, Germany, September 29–October 2, 2003. FORTE denotes a series of international working conferences on formal descr- tion techniques (FDTs) applied to computer networks and distributed systems. The conference series started in 1981 under the name PSTV. In 1988 a s- ond series under the name FORTE was set up. Both series were united to FORTE/PSTV in 1996. Two years ago the conference name was changed to its current form. The last ve meetings of this long conference series were held in Paris,
¥608.00
【预订】Formal Techniques for Networked and Distributed Systems 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540001416 Author 作者 Peled Format 版本 平装-胶订 Pages Number 页数 374页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2002-10-28 Language 语种 英语 Book Contents 内容简介 The IFIP TC6 WG 6.1 Joint International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2002, was held this year at Rice University, Houston, Texas, on November 11–14. This annual conference provides a forum for researchers and practitioners from universities and industry to meet and advance technologies in areas of specication, testing, and veri?cation of distributed systems and communication protocols. The main topics are: – FDT-based system and protocol engineering. – Semantical foundations. – Extensions of FDTs. – Formal approaches to concurrent/distributed object-oriented systems. – Real-time and probability aspects. – Pe
¥608.00
【预订】Formal Techniques for Networked and Distributed Systems 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540462194 Author 作者 jm Format 版本 平装-胶订 Pages Number 页数 488页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-09-27 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 26th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2006, held in Paris, France, in September 2006.
¥1217
【预订】Formal Techniques for Networked and Distributed Systems: 美国库房发货，通常付款后3-5周到货！
¥2434
预订 Formal Techniques for Networked and Distributed Systems: 【全球购】进口原版图书，一般5-8周左右到国内
¥2526
海外直订Formal Techniques for Networked and Distributed Systems
¥553.00
海外直订Formal Techniques for Networked and Distributed Systems
¥553.00
3-6周达 Formal Techniques for Networked and Distributed System 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
海外直订Formal Techniques for Networked and Distributed Systems
¥553.00
预订 Formal Techniques for Networked and Distributed Systems: 【全球购】进口原版图书，一般5-8周左右到达国内后发出
¥2165
预订 Formal Techniques for Networked and Distributed Systems - 【全球购】进口原版图书，一般5-8周左右到国内
¥645.00
预订 Formal Techniques for Networked and Distributed Systems - 【全球购】进口原版图书，一般5-8周左右到国内
¥648.00
海外直订Formal Techniques for Networked and Distributed Systems
¥553.00
3-6周达 Formal Techniques for Networked and Distributed System 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥646.00
【3-6周达】Formal Techniques for Networked and Distributed Syste 【全球购】进口原版图书，预计3-6周左右到国内
¥1010
海外直订Formal Techniques for Networked and Distributed Systems
¥553.00
海外直订Formal Techniques for Networked and Distributed Systems
¥1193
海外直订Formal Techniques for Networked and Distributed Systems:
¥2067
海外直订医药图书Formal Techniques for Networked and Distributed Syst
¥2067
Formal Techniques for Networked and Distributed Systems - FO
¥914.80
Formal Techniques for Networked and Distributed Systems - FO
¥725.90
网络与分布式系统用形式化技术 - FORTE 2006/会议录（书与在线文件） Formal techniques fo
The LNCS series reports state-of-the-art results in computer science research,development,and education,at a high level and in both printed and electronic form.Enjoying tight cooperation with the R&D community,with numerous individuals,as well as with prestigious organizations and societies,LNCS has grown into the most comprehensive computer science resarch forum available. The scope of LNCS,including its subseries LNAI,spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields.The type of material publised traditionally includes. -proceedings(published in time for the respective conference) -post-proceedings(consisting of thoroughly revised final full papers) -research monographs(which may be basde on outstanding PhD work,research projects,technical reports,etc.).
¥740.90定价：¥937.90 (7.9折)
