×


 x 

Shopping cart
. Ed(S): Lanese, Ivan; Madelaine, Eric - Formal Aspects of Component Software - 9783319153162 - V9783319153162
Stock image for illustration purposes only - book cover, edition or condition may vary.

Formal Aspects of Component Software

€ 64.63
FREE Delivery in Ireland
Description for Formal Aspects of Component Software Paperback. Editor(s): Lanese, Ivan; Madelaine, Eric. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 395 pages, 132 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 21. Weight in Grams: 605.

This book constitutes revised selected papers from the International Symposium on Formal Aspects of Component Software, FACS 2014, held in Bertinoro, Italy, in September 2014.

The 20 full papers presented in this volume were carefully reviewed and selected from 44 submissions. They are organized in topical sections named: compositional approaches; adaptation and evolution; application and experience; tools; scheduling, time and hybrid systems; other verification approaches and safety and liveness of composition. The volume also contains two invited talks, one full paper and one abstract.

Product Details

Format
Paperback
Publication date
2015
Publisher
Springer International Publishing AG Switzerland
Number of pages
395
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
385
Place of Publication
Cham, Switzerland
ISBN
9783319153162
SKU
V9783319153162
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15

Reviews for Formal Aspects of Component Software

Goodreads reviews for Formal Aspects of Component Software


Subscribe to our newsletter

News on special offers, signed editions & more!