预订 Component Software: Beyond Object-Oriented Programming (P 【全球购】进口原版图书，一般5-8周左右到国内
¥885.00
3-6周达 Formal Aspects of Component Software: 20th Internation 【全球购】进口原版图书，预计3-6周左右到国内
¥521.00
3-6周达 Formal Aspects of Component Software: 11th Internation 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
【预订】Formal Aspects of Component Software 9783030409135 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030409135 Author 作者 Farhad Arbab Format 版本 平装-胶订 Pages Number 页数 261页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2020-03-28 Language 语种 英语 Book Contents 内容简介 This book constitutes the thoroughly revised selected papers from the 16th International Conference on Formal Aspects of Component Software, FACS 2019, held in Amsterdam, The Netherlands, in October 2019. The 9 full papers presented together with 9 full papers and 3 short papers as well as 2 other papers were carefully reviewed and selected from 27 submissions. FACS 2019 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, compo
¥608.00
海外直订Formal Aspects of Component Software: 17th International
¥575.00
【预订】Formal Aspects of Component Software 9783642358609 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642358609 Author 作者 Pasareanu Format 版本 平装-胶订 Pages Number 页数 277页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2013-01-09 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.6 cm Shipping Weight 商品重量 444g Language 语种 英语 Book Contents 内容简介 This book constitutes the revised selected papers of the 9th International Symposium on Formal Aspects of Component Software, FACS 2012, held in Mountain View, CA, USA in September 2012. The 16 full papers presented were carefully reviewed and selected from 40 submissions. They cover topics such as formal models for software components and their interaction; formal aspects of services, service oriented architectures, business processes, and cloud computing; design and verification methods for software components and services; composition and deployment: models, calculi,
¥560.00
3-6周达 Formal Aspects of Component Software: 7th Internationa 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
3-6周达 Formal Aspects of Component Software: 15th Internation 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
【预订】Formal Aspects of Component Software 9783031208713 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031208713 Author 作者 Silvia Lizeth Tapia Tarifa Format 版本 平装-胶订 Pages Number 页数 245页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2022-11-20 Shipping Weight 商品重量 397g Language 语种 其它（含多语）
¥706.00
海外直订Formal Aspects of Component Software: 8th International
¥534.00
海外直订Formal Aspects of Component Software: 13th International
¥534.00
3-6周达 Formal Aspects of Component Software: 14th Internation 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
3-6周达 Formal Aspects of Component Software: 13th Internation 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
【预订】Formal Aspects of Component Software: 13th International 美国库房发货，通常付款后3-5周到货！
¥608.00
3-6周达 Formal Aspects of Component Software [ISBN:97830304091 【全球购】进口原版图书，预计3-6周左右到国内
¥521.00
海外直订Formal Aspects of Component Software: 7th International
¥639.00
预订 Formal Aspects of Component Software: 12th International 【全球购】进口原版图书，约3-6周到达国内后发出
¥513.00
【预订】Formal Aspects of Component Software 9783031521829 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783031521829 Author 作者 Javier Cámara Format 版本 平装-胶订 Pages Number 页数 229页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2024-02-07 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the refereed proceedings of the 19th International Conference on Formal Aspects of Component Software, FACS 2023, which took place virtually during October 19-20, 2023.The 11 full papers included in this book were carefully reviewed and selected from 23 submissions. They were organized in topical sections as follows: cloud computing, cyber-physical and critical systems, and the Internet of Things.
¥791.00
3-6周达 Formal Aspects of Component Software [ISBN:97833190760 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
【预订】Formal Aspects of Component Software 9783030021450 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030021450 Author 作者 Bae Format 版本 平装-胶订 Pages Number 页数 297页 Publication Date 出版日期 2018-10-07 Language 语种 英语 Book Contents 内容简介 This book constitutes the refereed proceedings from the 15th International Conference on Formal Aspects of Component Software, FACS 2018, held in Pohang, South Korea, in October 2018.The 14 full papers presented together with an invited abstract and an invited paper were carefully reviewed and selected from 32 submissions. FACS 2016 is concerned with how formal methods can be used to make component-based and service-oriented software development succeed. Formal methods have provided a foundation for component-based software by successfully addressing challenging issues such as mathematical models for components, composition and adaptation, or rigorous approaches to verification, deployment, testing, and certification.
¥608.00
3-6周达 Formal Aspects of Component Software [ISBN:97830312087 【全球购】进口原版图书，预计3-6周左右到国内
¥523.00
【预订】Formal Aspects of Component Software 9783319289335 美国库房发货，通常付款后3-5周到货！
¥608.00
预订 Formal Aspects of Component Software: 20th International 国外库房发货，通常付款后3-5周到货
¥642.00
海外直订Formal Aspects of Component Software: 18th International
¥677.00
【预订】Formal Aspects of Component Software 9783642357428 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642357428 Author 作者 Arbab Format 版本 平装-胶订 Pages Number 页数 369页 Publication Date 出版日期 2012-11-23 Product Dimensions 商品尺寸 9.2 x 6.1 x 0.7 cm Shipping Weight 商品重量 581g Language 语种 英语 Book Contents 内容简介 This book constitutes revised selected papers of the 8th International Workshop on Formal Aspects of Component Software, FACS 2011, held in Oslo, Norway in September 2011. The 18 full papers presented together with 3 invited talks were carefully reviewed and selected from 46 submissions. They cover the topics of formal models for software components and their interaction, design and verification methods for software components and services, formal methods and modeling languages for components and services, industrial or experience reports, and case studies, autonomic components and self-managed applications, models for QoS an
¥608.00
海外直订Formal Aspects of Component Software: 14th International
¥534.00
【预订】Formal Aspects of Component Software: 14th International 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783319680330 Author 作者 Lumpe, Markus Format 版本 平装-胶订 Publisher 出版社 Springer Publication Date 出版日期 2017-09-14 Language 语种 英语
¥608.00
海外直订Formal Aspects of Component Software: 15th International
¥553.00
【预订】Formal Aspects of Component Software 9783030906351 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783030906351 Author 作者 Gwen Salaün Format 版本 平装-胶订 Pages Number 页数 175页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2021-11-22 Language 语种 其它（含多语） Book Contents 内容简介 This book constitutes the thoroughly revised selected papers from the 17th International Symposium, FACS 2021, which was hel virtually in October 2021.The 7 full papers and 1 short contribution were carefully reviewed and selected from 16 submissions and are presented in the volume together with 1 invited paper. FACS 2021 is concerned with how formal methods can be applied to component-based software and system development. The book is subdivided into two blocks: Modelling & Composition and Verification. Chapter ’A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions’ is available open access under a Creative Co
¥547.00
预订 Formal Aspects of Component Software 预订商品
¥608.00
海外直订Formal Aspects of Component Software: 19th International
¥637.00
预订 Formal Aspects of Component Software: 9th International S 【全球购】进口原版图书，约3-6周到达国内后发出
¥445.00
3-6周达 Formal Aspects of Component Software: 8th Internationa 【全球购】进口原版图书，一般3-6周左右到国内后发出
¥507.00
3-6周达 Formal Aspects of Component Software: 17th Internation 【全球购】进口原版图书，预计3-6周左右到国内
¥448.00
3-6周达 Formal Aspects of Component Software [ISBN:97830315218 【全球购】进口原版图书，预计3-6周左右到国内
¥593.00
【预订】Formal Aspects of Component Software 9783642272684 美国库房发货，通常付款后3-5周到货！
¥608.00
预订 Formal Aspects of Component Software 预订商品
¥608.00
海外直订Formal Aspects of Component Software: 9th International
¥588.00
【预订】Mathematical Frameworks for Component Software 978981270 美国库房发货，通常付款后3-5周到货！
¥1697
预订 Mathematical Frameworks for Component Software: Models fo 【全球购】进口原版图书，一般5-8周左右到国内
¥1452
【预订】A Software Component Quality Framework 美国库房发货，通常付款后3-5周到货！
¥1595
预订 Software Component Certification: A Component Quality Mod 【全球购】进口原版图书，一般5-8周左右到国内
¥653.00
【预售 按需印刷】A Software Component Quality Framework
¥1212.1
【预订】Component-Based Software Development for Embedded System 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540306443 Author 作者 Atkinson Format 版本 平装-胶订 Pages Number 页数 348页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-12-12 Language 语种 英语 Book Contents 内容简介 Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, and jets. Some of these embedded s- tems are safety- or security-critical such as in medical equipment, nuclear plants, and X-by-wire control systems in naval, ground and aerospace transportation - hicles. With the continuing shift from hardware to software, embedded systems are increasingly dominated by embedded software. Embedded software is complex. Its engineering inherently involves a mul- disciplinary interplay with the physics of the embedding system or environment. Embedded software also comes in ever larger quantity and diversity. The nex
¥608.00
【预订】Component-Based Software Engineering: 11th 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Component-Based Software Testing with UML 9783642058820 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Component-Based Software Engineering 9783642132377 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783642132377 Author 作者 Grunske Format 版本 平装-胶订 Pages Number 页数 253页 Publication Date 出版日期 2010-06-11 Language 语种 英语 Book Contents 内容简介 The 2010 Symposium on Component-Based Software Engineering (CBSE 2010) was the 13th in a series of successful events that have grown into the main forum for industrial and academic experts to discuss component technology. CBSE is concerned with the development of software-intensive systems from - dependently developed software-building blocks (components), the development of components, and system maintenance and improvement by means of com- nent replacement and customization. The aim of the conference is to promote a science and technology foundation for achieving predictable quality in software systems through the use of software component technology and its associated software engineering practices. In line with a b
¥608.00
【预订】Component-Based Software Engineering 美国库房发货，通常付款后3-5周到货！
¥814.00
【预订】Component-Based Software Engineering 9783540356288 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540356288 Author 作者 Gorton Format 版本 平装-胶订 Pages Number 页数 396页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2006-06-20 Language 语种 英语 Book Contents 内容简介 On behalf of the Organizing Committee I am pleased to present the proceedings of the 2006 Symposium on Component-Based Software Engineering (CBSE). CBSE is concerned with the development of software-intensive systems from reusable parts (components), the development of reusable parts, and system maintenance and improvement by means of component replacement and customization. CBSE 2006 was the ninth in a series of events that promote a science and technology foundation for achieving predictable quality in software systems through the use of software component technology and its associated software engineering practices. We were fortunate to have a dedicated Program Com
¥608.00
【预订】Component-Based Software Testing with UML 美国库房发货，通常付款后3-5周到货！
¥608.00
【预订】Component-Based Software Quality 9783540405030 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540405030 Author 作者 Cechich Format 版本 平装-胶订 Pages Number 页数 410页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2003-06-26 Language 语种 英语 Book Contents 内容简介 Component-based software development, CBSD, is no longer just one more new paradigm in software engineering, but is effectively used in development and practice. So far, however, most of the efforts from the software engineering community have concentrated on the functional aspects of CBSD, leaving aside the treatment of the quality issues and extra-functional properties of software components and component-based systems.This book is the first one focusing on quality issues of components and component-based systems. The 16 revised chapters presented were carefully reviewed and selected for inclusion in the book; together with an introductory survey, they give a coher
¥608.00
【预订】Component-Based Software Engineering 9783540258773 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540258773 Author 作者 Heineman Format 版本 平装-胶订 Pages Number 页数 360页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2005-04-28 Language 语种 英语 Book Contents 内容简介 On behalf of the Organizing Committee I am pleased to present the proceedings of the 2005 Symposium on Component-Based Software Engineering (CBSE). CBSE is concerned with the development of software-intensive systems from reusable parts (components), the development of reusable parts, and system maintenance and improvement by means of component replacement and c- tomization. CBSE 2005, “Software Components at Work,” was the eighth in a series of events that promote a science and technology foundation for achieving predictable quality in software systems through the use of software component technology and its associated software engineering practices. We were fo
¥608.00
【预订】Component Based Software Engineering 9780367354886 美国库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9780367354886 Author 作者 Umesh Kumar Tiwari and Santosh Kumar Format 版本 精装 Pages Number 页数 214页 Publisher 出版社 Chapman and Hall/CRC Publication Date 出版日期 2020-11-19 Language 语种 英语 Book Contents 内容简介 This book;focuses on a specialized branch of the vast domain of software engineering: component-based software engineering (CBSE). Component-Based Software Engineering: Methods and Metrics enhances the basic understanding of components by defining categories, characteristics, repository, interaction, complexity, and composition. It divides the research domain of CBSE into three major sub-domains: (1) reusability issues, (2);interaction and integration issues, and (3) testing and reliability issues. This book covers the state-of-the-art literature survey of at least 20 years in the domain of reusability, interaction and integration complexities, and;te
¥1582
【预订】Component-Based Software Engineering 9783540219989 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540219989 Author 作者 Crnkovic Format 版本 平装-胶订 Pages Number 页数 312页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2004-05-12 Language 语种 英语 Book Contents 内容简介 Component-based software engineering (CBSE) is concerned with the devel- ment of software-intensive systems from reusable parts (components), the dev- opmentofsuchreusableparts,andthemaintenanceandimprovementofsystems by means of component replacement and customization. Although it holds c- siderable promise, there are still many challenges facing both researchers and practitioners in establishing CBSE as an ecient and proven engineering dis- pline. Six CBSE workshops have been held consecutively at the most recent six International Conferences on Software Engineering (ICSE). The premise of the last three CBSE workshops was that the long-term success of component-ba
¥608.00
【预订】Component-Based Software Development: Case Studies 美国库房发货，通常付款后3-5周到货！
¥1487
【预订】Component-Based Software Engineering 9783540735502 国外库房发货，通常付款后3-5周到货！
Product Details 基本信息 ISBN-13 书号 9783540735502 Author 作者 Heinz G. Schmidt Format 版本 平装-胶订 Pages Number 页数 285页 Publisher 出版社 Springer Berlin Heidelberg Publication Date 出版日期 2007-06-29 Language 语种 英语 Book Contents 内容简介 Providing all the latest on a topic of extreme commercial relevance, this book contains the refereed proceedings of the 10th International ACM SIGSOFT Symposium on Component-Based Software Engineering, held in Medford, MA, USA in July 2007.
¥608.00
预订 Component Based Software Engineering [ISBN:9783843386807] 【全球购】进口原版图书，一般5-8周左右到国内
¥753.00
预售 按需印刷Software Component Certification 北京发货，付款后10天内发货
¥907.00
【3-6周达】Component-Based Software Engineering: 12th Internatio 【全球购】进口原版图书，预计3-6周左右到国内
¥507.00
预订 Component-Based Software Engineering: Putting the Pieces 【全球购】进口原版图书，一般5-8周左右到国内后发出
¥541.00
