3-6周达 Coalgebraic Methods in Computer Science: 12th Ifip Wg 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥486.00
【3-6周达】Formal Methods for Components and Objects: 6th Intern 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
海外直订Coalgebraic Methods in Computer Science: 12th Ifip Wg 1.
¥592.00
【3-6周达】Formal Methods for Components and Objects: 7th Intern 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
海外直订Formal Methods for Open Object-Based Distributed Systems
¥553.00
预订 Data Science and Artificial Intelligence: Second Internat 【全球购】进口原版，一般3-6周左右到国内
¥802.00
【3-6周达】Formal Methods for Open Object-Based Distributed Syst 【全球购】进口原版图书，预计3-6周左右到国内
¥507.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
¥608.00
3-6周达 Formal Methods for Components and Objects [ISBN:978364 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.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.
¥608.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
¥608.00
Formal Methods for Components and Objects 组件与对象用形式方法
¥477.30
