【预订】Formal Methods for Components and Objects: 9th 美国库房发货，通常付款后3-5周到货！
¥608.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
【预订】Formal Methods for Components and Objects: 4th 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Formal Methods for Components and Objects 9783540747918 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540747918 Author 作者 Frank S. de Boer Format 版本 平装-胶订 Pages Number 页数 300页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-12-18 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. This book presents 12 revised lectures given by top-researchers at the 5th International Symposium on Formal Methods for Components and Objects, FMCO 2006, held in Amsterdam, Netherlands, in November 2006. The book provides a unique combination of ideas on software
¥608.00
【预订】Formal Methods for Components and Objects 9783540229421 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540229421 Author 作者 Boer Format 版本 平装-胶订 Pages Number 页数 371页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2004-10-27 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 more complex systems, resulting from the object-oriented and the more recent component-based software engineering paradigms, requires further development of specification and verification techniques supporting the concepts of reusability and modifiability. This book presents revised tutorial lectures given by invited speakers at the Second International Symposium on Formal Methods for Components and Objects, FMCO 2003, held in Leiden, The Netherlands, in November 2003. The 17 revised lectures by leading researchers pre
¥608.00
【预订】Formal Methods for Components and Objects: 10th 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Formal Methods for Components and Objects 9783540291312 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540291312 Author 作者 de Boer Format 版本 平装-胶订 Pages Number 页数 328页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-09-19 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. This book presents revised tutorial lectures given by invited speakers at the Third International Symposium on Formal Methods for Components and Objects, FMCO 2004, held in Leiden, The Netherlands, in November 2004. The 14 revised lectures by leading researchers present a co
¥608.00
【预订】Formal Methods for Components and Objects 美国库房发货，通常付款后3-5周到货！
¥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 9783540203032 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540203032 Author 作者 Boer Format 版本 平装-胶订 Pages Number 页数 512页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-10-09 Language 语种 英语 Book Contents 内容简介 Largeandcomplexsoftwaresystemsprovidethenecessaryinfrastuctureinall- dustries today. In order to construct such large systems in a systematic manner, the focus in the development methodologies has switched in the last two decades from functional issues to structural issues: both data and functions are enc- sulated into software units that are integrated into large systems by means of various techniques supporting reusability and modiability. This encapsulation principleisessentialtoboththeobject-orientedandthemorerecentcompone- based sofware engineering paradigms. Formalmethodshavebeenappliedsuccessfullytotheveri?cationofmedi- sized programs in protocol and hardware des
¥608.00
【预订】Formal Methods for Components and Objects 9783642406140 美国库房发货，通常付款后3-5周到货！
¥560.00
预订Formal Methods for Components and Objects:10th Internation 预订，预计下单后3-4周左右发货！
¥711.00
3-6周达 Formal Methods for Components and Objects: Third Inter 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥643.00
预订 Formal Methods for Components and Objects: 10th Internati 【全球购】进口原版图书，约3-6周到达国内后发出
¥513.00
海外直订Formal Methods for Components and Objects: 11th Internat
¥568.00
海外直订Formal Methods for Components and Objects: 10th Internat
¥553.00
海外直订Formal Methods for Components and Objects
¥553.00
海外直订Formal Methods for Components and Objects: First Interna
¥553.00
3-6周达 Formal Methods for Components and Objects [ISBN:978364 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
【3-6周达】Formal Methods for Components and Objects: 6th Intern 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
海外直订Formal Methods for Components and Objects: Second Intern
¥553.00
3-6周达 Formal Methods for Components and Objects: 11th Intern 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥466.00
预订 Formal Methods for Components and Objects: 9th Internatio 【全球购】进口原版图书，约3-6周到达国内后发出
¥513.00
海外直订Formal Methods for Components and Objects 组件和对象的形式化方法
¥553.00
3-6周达 Formal Methods for Components and Objects: First Inter 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥651.00
海外直订Formal Methods for Components and Objects: Third Interna
¥553.00
【3-6周达】Formal Methods for Components and Objects: 7th Intern 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
海外直订Formal Methods for Components and Objects: 4th Internati
¥553.00
【3-6周达】Formal Methods for Components and Objects: 4th Intern 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
3-6周达 Formal Methods for Components and Objects: Second Inte 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥645.00
3-6周达 Formal Methods for Components and Objects [ISBN:978354 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
Formal Methods for Components and Objects 组件与对象用形式方法
¥477.30
组件和对象用形式方法/Formal methods for components and objects
¥499.90定价：¥632.80 (7.9折)
