【预订】Fundamental Approaches to Software Engineering 978303045 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030452339 Format 版本 平装-胶订 Pages Number 页数 552页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-04-21 Product Dimensions 商品尺寸 9.2 x 6.1 x 1.1 cm Shipping Weight 商品重量 1730g Language 语种 英语 Book Contents 内容简介 This open access book constitutes the proceedings of the 23rd International Conference on Fundamental Approaches to Software Engineering, FASE 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020.The 23 full papers, 1 tool paper and 6 testing competition papers presented in this volume were carefully reviewed and selected from 81 submissions.The papers cover topics such as requirements engineering, software architectures, specification, software quality, validation, verification of functional
¥486.00
【预订】Fundamental Approaches to Software Engineering 978364219 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642198106 Author 作者 Giannakopoulou Format 版本 平装-胶订 Publication Date 出版日期 2011-03-15 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the 14th International Conference on Fundamental Approaches to Software Engineering, FASE 2011, held in Saarbrücken, Germany, March 26—April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 29 revised full papers presented together with one full length invited talk were carefully reviewed and selected from 99 full paper submissions. The papers are organized in topical sections on verification, specification and modeling, reachability and model checking, model driven engineering, software development for QoS, testing: theory and new trends, testing in practice, code development and analysis, and empirical studies.
¥608.00
【预订】Fundamental Approaches to Software Engineering 978354078 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540787426 Author 作者 José Fiadeiro Format 版本 平装-胶订 Pages Number 页数 434页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2008-03-18 Shipping Weight 商品重量 682g Language 语种 英语 Book Contents 内容简介 This proceedings volume covers requirements and architectures, models and model transformations, conceptual models and UML, service engineering and adaptable services, verification and testing, and objects and components.
¥608.00
【预订】Fundamental Approaches to Software Engineering 978303016 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030167219 Author 作者 H?hnle Format 版本 平装-胶订 Pages Number 页数 446页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2019-04-04 Language 语种 英语 Book Contents 内容简介 This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering, FASE 2019, which took place in Prague, Czech Republic in April 2019, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019.The 24 papers presented in this volume were carefully reviewed and selected from 94 submissions. The papers are organized in topical sections named: software verification; model-driven development and model transformation; software evolution and requirements engineering; specification, design, and implementation of particular classes of s
¥608.00
【预订】Fundamental Approaches to Software Engineering 978303071 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030714994 Author 作者 Guerra Format 版本 平装-胶订 Pages Number 页数 373页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-03-20 Language 语种 英语 Book Contents 内容简介 This open access book constitutes the proceedings of the 24th International Conference onFundamental Approaches to Software Engineering, FASE 2021, which took place during March 27–April 1, 2021, and was held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2021. The conference was planned to take place in Luxembourg but changed to an online format due to the COVID-19 pandemic.The 16 full papers presented in this volume were carefully reviewed and selected from 52 submissions. The book also contains 4 Test-Comp contributions.
¥486.00
【预订】Fundamental Approaches to Software Engineering: 10th 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Fundamental Approaches to Software Engineering 978354064 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540643036 Author 作者 Astesiano Format 版本 平装-胶订 Pages Number 页数 329页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1998-03-11 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings of the First International Conference on Fundamental Approaches to Software Engineering, FASE’98, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS’98, held in Lisbon, Portugal, in March/April 1998.Besides two invited presentations and three system demonstrations, this volume presents 18 revised full papers selected from a total of 59 submissions. Among the various fundamental software engineering issues addressed are formal methods, specification languages, refinement, object-oriented modeling, software architectures, statecharts, model checking, etc.
¥608.00
【预订】Fundamental Approaches to Software Engineering: 12th 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Fundamental Approaches to Software Engineering: 4th 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Fundamental Approaches to Software Engineering 978101327 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781013277160 Author 作者 Wehrheim Heike Format 版本 平装-胶订 Pages Number 页数 560页 Publisher 出版社 Saint Philip Street Press Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 11.00 x 8.50 x 1.14 Shipping Weight 商品重量 2.82 Language 语种 其它（含多语）
¥1649
【预订】Fundamental Approaches to Software Engineering 978331989 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319893624 Author 作者 Russo Format 版本 平装-胶订 Pages Number 页数 357页 Publication Date 出版日期 2018-04-04 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.7 cm Shipping Weight 商品重量 1150g Language 语种 英语 Book Contents 内容简介 This book is Open Access under a CC BY licence.This book constitutes the proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering, FASE 2018, which took place in Thessaloniki, Greece in April 2018, held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018.The 19 papers presented in this volume were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections named: model-based software development; distributed program and system analysis; software design and verification; specification and program testing; family-based software dev
¥608.00
【预售 按需印刷】Fundamental Approaches to Software Engineering
¥655.35
【预订】Fundamental Approaches to Software Engineering: 9th 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Fundamental Approaches to Software Engineering 978354065 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540657187 Author 作者 Fince Format 版本 平装-胶订 Pages Number 页数 254页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 1999-03-10 Language 语种 英语 Book Contents 内容简介 ETAPS’99 is the second instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprises ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), four satellite workshops (CMCS, AS, WAGA, CoFI), seven invited lectures, two invited tutorials, and six contributed tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools which support these - tivities are all well wit
¥608.00
【预订】Fundamental Approaches to Software Engineering 978354025 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540254201 Author 作者 Cerioli Format 版本 平装-胶订 Pages Number 页数 374页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-03-24 Language 语种 英语 Book Contents 内容简介 ETAPS 2005 was the eighth instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conf- ences. This year it comprised ve conferences (CC, ESOP, FASE, FOSSACS, TACAS), 17 satellite workshops (AVIS, BYTECODE, CEES, CLASE, CMSB, COCV, FAC, FESCA, FINCO, GCW-DSE, GLPL, LDTA, QAPL, SC, SLAP, TGC, UITP), seven invited lectures (not including those that were speci?c to the satellite events), and several tutorials. We received over 550 submissions to the ?ve conferences this year, giving acceptance rates below 30% for each one. Congratulations
¥608.00
【预订】Fundamental Approaches to Software Engineering 978366246 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Fundamental Approaches to Software Engineering 978366249 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Fundamental Approaches to Software Engineering: 5th 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Fundamental Approaches to Software Engineering: 15th 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Fundamental Approaches to Software Engineering 978101327 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9781013277177 Author 作者 Wehrheim Heike Format 版本 精装 Pages Number 页数 560页 Publisher 出版社 Saint Philip Street Press Publication Date 出版日期 1800-01-01 Product Dimensions 商品尺寸 11.00 x 8.50 x 1.19 Shipping Weight 商品重量 3.46 Language 语种 其它（含多语）
¥1798
【预订】Fundamental Approaches to Software Engineering 978354067 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540672616 Author 作者 Maibaum Format 版本 平装-胶订 Pages Number 页数 378页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2000-03-15 Language 语种 英语 Book Contents 内容简介 ETAPS2000wasthe third instanceofthe EuropeanJointConferenceson Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised v e conferences (FOSSACS, FASE, ESOP, CC, TACAS), ve satellite workshops (CBS, CMCS, CoFI, GRATRA, INT), seven invited lectures, a panel discussion, and ten tutorials. The events that comprise ETAPS address various aspects of the system - velopment process, including speci cation, design, implementation, analysis, and improvement. The languages, methodologies, and tools which support these - tivities are all well within its scop
¥608.00
【预订】Fundamental Approaches to Software Engineering 978366254 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Fundamental Approaches to Software Engineering 978364237 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Fundamental Approaches to Software Engineering 978364212 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642120282 Author 作者 Rosenblum Format 版本 平装-胶订 Pages Number 页数 383页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2010-03-16 Shipping Weight 商品重量 611g Language 语种 英语 Book Contents 内容简介 Includes the refereed proceedings of the 13th International Conference on Fundamental Approaches to Software Engineering, FASE 2010, held in Paphos, Cyprus, in March 2010, as part of ETAPS 2010, the European Joint Conferences on Theory and Practice of Software.
¥608.00
【预订】Fundamental Approaches to Software Engineering 978354021 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540213055 Author 作者 Wermelinger Format 版本 平装-胶订 Pages Number 页数 389页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2004-03-22 Language 语种 英语 Book Contents 内容简介 ETAPS 2004 was the seventh instance of the European Joint Conferences on Theory and Practice of Software. ETAPS is an annual federated conference that was established in 1998 by combining a number of existing and new conferences. This year it comprised ve conferences (FOSSACS, FASE, ESOP, CC, TACAS), 23 satellite workshops, 1 tutorial, and 7 invited lectures (not including those that are speci?c to the satellite events). The events that comprise ETAPS address various aspects of the system - velopment process, including speci?cation, design, implementation, analysis and improvement. The languages, methodologies and tools that support these act- ities are all well
¥608.00
【预订】Fundamental Approaches to Software Engineering: 26th Int 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031308253 Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2023-04-20 Language 语种 其它（含多语）
¥486.00
【预订】Fundamental Approaches to Software Engineering 978354000 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540008996 Author 作者 Pezzè Format 版本 平装-胶订 Pages Number 页数 407页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-03-14 Language 语种 英语
¥608.00
【预订】Fundamental Approaches to Software Engineering 978364254 美国库房发货，通常付款后3-5周到货！
¥608.00
3-6周达 Fundamental Approaches to Software Engineering: 13th I 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
海外直订Fundamental Approaches to Software Engineering: 17th Int
¥639.00
预订 Fundamental Approaches to Software Engineering [ISBN:9781 【全球购】进口原版图书，一般5-8周左右到国内
¥710.00
按需印刷Fundamental Approaches to Software Engineering 预订，预计下单后2-3周左右发货！
¥656.00
3-6周达 Fundamental Approaches to Software Engineering: 18th I 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
海外直订Fundamental Approaches to Software Engineering: 21st Int
¥546.00
海外直订Fundamental Approaches to Software Engineering 软件工程的基本方法
¥427.00
海外直订Fundamental Approaches to Software Engineering: Third In
¥553.00
3-6周达 Fundamental Approaches to Software Engineering: 20th I 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
【3-6周达】Fundamental Approaches to Software Engineering: 10th 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
海外直订Fundamental Approaches to Software Engineering: 6th Inte
¥553.00
海外直订Fundamental Approaches to Software Engineering: 22nd Int
¥534.00
3-6周达 Fundamental Approaches to Software Engineering [ISBN:9 【全球购】进口原版图书，预计3-6周左右到国内
¥416.00
海外直订Fundamental Approaches to Software Engineering: 10th Int
¥553.00
【3-6周达】Fundamental Approaches to Software Engineering: 9th I 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
按需印刷Fundamental Approaches to Software Engineering:21st Inte 预订，预计下单后2-3周左右发货！
¥718.00
海外直订Fundamental Approaches to Software Engineering: 18th Int
¥552.00
【3-6周达】Fundamental Approaches to Software Engineering: 21st 【全球购】进口原版图书，预计3-6周左右到国内
¥554.00
海外直订Fundamental Approaches to Software Engineering: 14th Int
¥629.00
海外直订Fundamental Approaches to Software Engineering: 11th Int
¥553.00
3-6周达 Fundamental Approaches to Software Engineering: 21st I 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
海外直订Fundamental Approaches to Software Engineering: 15th Int
¥553.00
海外直订Fundamental Approaches to Software Engineering: 13th Int
¥553.00
【3-6周达】Fundamental Approaches to Software Engineering [ISBN: 【全球购】进口原版图书，预计3-6周左右到国内
¥659.00
3-6周达 Fundamental Approaches to Software Engineering: 4th In 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥644.00
3-6周达 Fundamental Approaches to Software Engineering: 11th I 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
预订 Fundamental Approaches to Software Engineering: 28th Inte 国外库房发货，通常付款后3-5周到货
¥486.00
海外直订Fundamental Approaches to Software Engineering: 16th Int
¥553.00
海外直订Fundamental Approaches to Software Engineering: 12th Int
¥553.00
海外直订Fundamental Approaches to Software Engineering: First In
¥553.00
海外直订Fundamental Approaches to Software Engineering: 5th Inte
¥553.00
海外直订Fundamental Approaches to Software Engineering: 26th Int
¥511.00
