Items related to Formal Aspects of Component Software: 9th International...
Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers (Programming and Software Engineering) - Softcover
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, languages; formal methods and modeling languages for components and services; model based and GUI based testing of components and services; models for QoS and other extra-functional properties (e.g. trust, compliance, security) of components and services; components for real-time, safety-critical, secure, and/or embedded systems; industrial or experience reports and case studies; update and reconfiguration of component and service architectures; component systems evolution and maintenance; autonomic components and self-managed applications; formal and rigorous approaches to software adaptation and self-adaptive systems.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2013
- ISBN 10 3642358608
- ISBN 13 9783642358609
- BindingPaperback
- Number of pages287
- EditorPasareanu Corina S, Salaün Gwen
Buy New
Learn more about this copy
US$ 67.48
Shipping:
US$ 2.64
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Seller Image
Formal Aspects of Component Software : 9th International Symposium, Facs 2012, Mountain View, Ca, USA, September 11-13, 2012. Revised Selected Papers
Seller:
Rating
Book Description Condition: New. Seller Inventory # 19189610-n
Buy New
US$ 67.48
Convert currency
Stock Image
Formal Aspects of Component Software
Seller:
Rating
Book Description Condition: New. pp. 288. Seller Inventory # 2648030882
Buy New
US$ 66.14
Convert currency
Seller Image
Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers (Lecture Notes in Computer Science) [Paperback ]
Seller:
Rating
Book Description Soft Cover. Condition: new. Seller Inventory # 9783642358609
Buy New
US$ 71.06
Convert currency
Stock Image
Formal Aspects of Component Software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers
Published by
Springer
(2013)
ISBN 10: 3642358608
ISBN 13: 9783642358609
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9783642358609_lsuk
Buy New
US$ 60.30
Convert currency
Stock Image
Formal Aspects of Component Software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers
Seller:
Rating
Book Description PF. Condition: New. Seller Inventory # 6666-IUK-9783642358609
Buy New
US$ 56.48
Convert currency
Seller Image
Formal Aspects of Component Software : 9th International Symposium, Facs 2012, Mountain View, Ca, USA, September 11-13, 2012. Revised Selected Papers
Seller:
Rating
Book Description Condition: New. Seller Inventory # 19189610-n
Buy New
US$ 59.74
Convert currency
Stock Image
Formal Aspects of Component Software
Print on Demand
Seller:
Rating
Book Description Condition: New. Print on Demand pp. 288 72 Illus. Seller Inventory # 44784509
Buy New
US$ 70.75
Convert currency
Seller Image
Formal Aspects of Component Software
Published by
Springer Berlin Heidelberg Jan 2013
(2013)
ISBN 10: 3642358608
ISBN 13: 9783642358609
New
Taschenbuch
Quantity: 2
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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, languages; formal methods and modeling languages for components and services; model based and GUI based testing of components and services; models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services; components for real-time, safety-critical, secure, and/or embedded systems; industrial or experience reports and case studies; update and reconfiguration of component and service architectures; component systems evolution and maintenance; autonomic components and self-managed applications; formal and rigorous approaches to software adaptation and self-adaptive systems. 288 pp. Englisch. Seller Inventory # 9783642358609
Buy New
US$ 55.02
Convert currency
Stock Image
Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers (Programming and Software Engineering)
Published by
Springer
(2013)
ISBN 10: 3642358608
ISBN 13: 9783642358609
New
Softcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Mar3113020225039
Buy New
US$ 76.88
Convert currency
Seller Image
Formal Aspects of Component Software : 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 11-13, 2012. Revised Selected Papers
Published by
Springer Berlin Heidelberg
(2013)
ISBN 10: 3642358608
ISBN 13: 9783642358609
New
Taschenbuch
Quantity: 1
Seller:
Rating
Book Description Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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, languages; formal methods and modeling languages for components and services; model based and GUI based testing of components and services; models for QoS and other extra-functional properties (e.g., trust, compliance, security) of components and services; components for real-time, safety-critical, secure, and/or embedded systems; industrial or experience reports and case studies; update and reconfiguration of component and service architectures; component systems evolution and maintenance; autonomic components and self-managed applications; formal and rigorous approaches to software adaptation and self-adaptive systems. Seller Inventory # 9783642358609
Buy New
US$ 58.38
Convert currency