预订 Formal Methods for Components and Objects 9783642041662 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783642041662 作者: Marcello M Bonsangue 装帧: 平装-胶订 页数: 297页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2009-09-07 重量: 1g 语种: 其它(含多语)
¥1066
预订 Formal Methods for Components and Objects 9783540921875 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783540921875 作者: Marcello M Bonsangue 装帧: 平装-胶订 页数: 313页 出版社: Springer 尺寸: 22.9 x 15.2 x 2.5 cm 出版日期: 2008-12-01 重量: 454g 语种: 其它(含多语)
¥969.00
预订 Coalgebraic Methods in Computer Science 9783662441237 海外仓库发货,通常付款后4-9周到货!
图书信息 书号: 9783662441237 作者: Marcello M Bonsangue 装帧: 平装-胶订 页数: 245页 出版社: Springer 尺寸: 0.9 x 0.6 x 0.1 cm 出版日期: 2014-09-01 重量: 1g 语种: 其它(含多语) 内容简介 This book constitutes the thoroughly refereed post-proceedings of the 12
¥590.00
预订 Formal Methods for Components and Objects [ISBN:978364217 【全球购】进口原版图书,约5-8周到达国内后发出
¥571.00
【预订】Formal Methods for Open Object-Based Distributed Systems 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540729198 Author 作者 Marcello M. Bonsangue Leiden University Leiden Inst. Advanc Format 版本 平装-胶订 Pages Number 页数 317页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-05-25 Language 语种 英语 Book Contents 内容简介 Constitutes the refereed proceedings of the 9th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2007, held in Paphos, Cyprus in June 2007. This title presents 17 revised full papers together with 2 invited papers that were reviewed and selected from 45 submissions.
¥520.00
【预订】Formal Methods for Components and Objects 9783642041662 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783642041662 Author 作者 Marcello M. Bonsangue Leiden University Leiden Inst. Advanc Format 版本 平装-胶订 Pages Number 页数 299页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2009-09-07 Shipping Weight 商品重量 480g Language 语种 英语 Book Contents 内容简介 All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the development methodologies has switched in the last two decades from functional to structural issues. Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires a greater emphasis on specification, modeling, and validation techniques supporting the concepts of reusability and modifiability, and th
¥520.00
【预订】Formal Methods for Components and Objects 9783540921875 国外库房发货,通常付款后3-5周到货!
Product Details 基本信息 ISBN-13 书号 9783540921875 Author 作者 Marcello M. Bonsangue Leiden University Leiden Inst. Advanc Format 版本 平装-胶订 Pages Number 页数 313页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-12-01 Language 语种 英语 Book Contents 内容简介 Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the development of large systems requires more emphasis on specification, modelling and validation techniques supporting the concepts of reusability and modifiability, and their implementation in new extensions of existing programming languages like Java. The 6th International Symposium on Formal Methods for Components and Objects, FMCO 2007, was held in Amsterdam, The Netherlands, in October 2007. This book presents 12 revised papers submitted after the symposium
¥520.00
预订 Formal Methods for Open Object-Based Distributed Systems: 【全球购】进口原版图书,约5-8周到达国内后发出
¥571.00
预订 Formal Methods for Components and Objects: 6th Internatio 【全球购】进口原版图书,约5-8周到达国内后发出
¥571.00
预订 Formal Methods for Components and Objects: 7th Internatio 【全球购】进口原版图书,约5-8周到达国内后发出
¥469.00
预订 Coalgebraic Methods in Computer Science: 12th Ifip Wg 1.3 【全球购】进口原版图书,约5-8周到达国内后发出
¥457.00
海外直订Formal Methods for Open Object-Based Distributed Systems
¥553.00
明星店铺 中华商务进口图书旗舰店
海外直订Coalgebraic Methods in Computer Science: 12th Ifip Wg 1.
¥592.00
明星店铺 中华商务进口图书旗舰店
Formal Methods for Components and Objects 组件与对象用形式方法
¥477.30