海外直订Formal Methods for Components and Objects: Second Intern

¥553.00

中华商务进口图书旗舰店

Boer, Frank S. de /2004-10-31 /Springer

3-6周达 Formal Methods for Components and Objects: Second Inte 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥645.00

书之源外文图书

Boer, Frank S. de /2004-11-01 /Springer

3-6周达 Formal Methods for Components and Objects: First Inter 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥651.00

书之源外文图书

Boer, Frank S. de /2003-10-09 /Springer

海外直订Formal Methods for Components and Objects: First Interna

¥553.00

中华商务进口图书旗舰店

Boer, Frank S. de /2003-10-08 /Springer

【预订】Formal Methods for Components and Objects 美国库房发货，通常付款后3-5周到货！

¥608.00

中国进口图书旗舰店

Frank S.de Boer,MarcelloM. Bonsangue,Ste /1988-08-08 /Springer-Verlag Berlin andHeidelberg GmbH Co

【预订】Formal Methods for Components and Objects: 9th 美国库房发货，通常付款后3-5周到货！

¥608.00

中国进口图书旗舰店

Bernhard K.Aichernig,Frank S.de Boer,Mar /1988-08-08 /Springer-Verlag Berlin andHeidelberg GmbH Co

【预订】Formal Methods for Components and Objects: 4th 美国库房发货，通常付款后3-5周到货！

¥608.00

中国进口图书旗舰店

Frank S.de Boer,MarcelloM. Bonsangue,Sus /1988-08-08 /Springer-Verlag Berlin andHeidelberg GmbH Co

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

中国进口图书旗舰店

Frank S. de Boer /2007-12-18 /Springer Berlin Heidelberg

3-6周达 Formal Methods for Components and Objects: Third Inter 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥643.00

书之源外文图书

De Boer, Frank S. /2005-10-01 /Springer

海外直订Formal Methods for Components and Objects

¥553.00

中华商务进口图书旗舰店

De Boer, Frank S. /2011-01-03 /Springer

3-6周达 Formal Methods for Components and Objects [ISBN:978364 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥507.00

书之源外文图书

2011-01-04 /Springer Berlin Heidelberg

海外直订Formal Methods for Components and Objects: Third Interna

¥553.00

中华商务进口图书旗舰店

De Boer, Frank S. /2005-09-30 /Springer

海外直订Formal Methods for Components and Objects 组件和对象的形式化方法

¥553.00

中华商务进口图书旗舰店

De Boer, Frank S. /2007-12-17 /Springer

海外直订Formal Methods for Components and Objects: 4th Internati

¥553.00

中华商务进口图书旗舰店

De Boer, Frank S. /2006-08-31 /Springer

【3-6周达】Formal Methods for Components and Objects: 4th Intern 【全球购】进口原版图书，预计3-6周左右到国内

¥507.00

书之源外文图书

De Boer, Frank S. /2006-09-01 /Springer

3-6周达 Formal Methods for Components and Objects [ISBN:978354 【全球购】进口原版图书，一般3-6周左右到国内后发出

¥507.00

书之源外文图书

2007-12-18 /Springer

3-6周达 It's All about Coordination: Essays to Celebrate the L 【全球购】进口原版图书，预计3-6周左右到国内

¥507.00

书之源外文图书

2018-04-07 /Springer

海外直订It's All about Coordination: Essays to Celebrate the Lif

¥639.00

中华商务进口图书旗舰店

de Boer, Frank /2018-04-06 /Springer

Formal Methods for Components and Objects 组件与对象用形式方法

¥477.30

Frank S.de Boer, Marcello M.Bonsangue, Susanne Graf, Willem-Paul de Roever 等著 /2005-10-01 /北京燕山出版社

组件和对象用形式方法/Formal methods for components and objects

¥499.90定价：¥632.80 (7.9折)

Frank S. de Boer 著 /2006-12-01 /崇文书局（原湖北辞书出版社）

组件与对象用形式方法/会议录Formal Methods for Components

¥487.30

Frank S. de Boer 著 /2004-11-01 /Oversea Publishing House