预订 Formal Techniques for Networked and Distributed Systems - 【全球购】进口原版图书，约5-8周到达国内后发出

¥571.00

书之源外文图书

2004-09-21 /Springer Berlin Heidelberg

预订 Fostering Sustainable Business Models Through Financial M 【全球购】进口原版图书，约5-8周到达国内后发出

¥895.00

书之源外文图书

Ziolo,Magdalena;Escrig-Olmedo,Elena;Loza /2023-09-16 /Springer

预订 Topics in Artificial Intelligence: 5th Catalonian Confere 【全球购】进口原版图书，约5-8周到达国内后发出

¥465.00

书之源外文图书

Escrig Monferrer, Maria Teresa /2002-10-09 /Springer

海外直订Formal Techniques for Networked and Distributed Systems

¥553.00

明星店铺 中华商务进口图书旗舰店

Frutos-Escrig, David De /2004-09-20 /Springer

【预订】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

中国进口图书旗舰店

Frutos-Escrig /2004-09-21 /Springer Berlin Heidelberg

预订 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

中国经济图书旗舰店

Maria Teresa Escrig Monferrer /2002-10-09 /Springer

Formal Techniques for Networked and Distributed Systems - FO

¥725.90

David de Frutos-Escrig 著 /2004-09-01 /北京燕山出版社