Stock image for illustration purposes only - book cover, edition or condition may vary.
Formal Aspects of Component Software
. Ed(S): Arbab, Farhad; Olveczky, Peter Csaba
€ 64.57
FREE Delivery in Ireland
Description for Formal Aspects of Component Software
Paperback. Editor(s): Arbab, Farhad; Olveczky, Peter Csaba. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 369 pages, 131 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 19. Weight in Grams: 532.
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 and other extra-functional properties (e.g., trust, compliance, security) ... Read more
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 and other extra-functional properties (e.g., trust, compliance, security) ... Read more
Product Details
Format
Paperback
Publication date
2012
Publisher
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG Germany
Number of pages
369
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
369
Place of Publication
Berlin, Germany
ISBN
9783642357428
SKU
V9783642357428
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Formal Aspects of Component Software