Hero image 0 of Formal Aspects of Component Software: 11th International Symposium, Facs 2014, Bertinoro, Italy, September 10-12, 2014, , (Paperback), 0 of 1
Formal Aspects of Component Software: 11th International Symposium, Facs 2014, Bertinoro, Italy, September 10-12, 2014, , (Paperback)
(No ratings yet)
Key item features
- Formal Aspects of Component Software: 11th International Symposium, Facs 2014, Bertinoro, Italy, September 10-12, 2014, , (Paperback)
- Author: Springer
- ISBN: 9783319153162
- Format: Paperback
- Publication Date: 2015-02-18
- Page Count: 385
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreComputing & Internet
- Pub date2015-02-18
- Pages385
- Series titleNo Series
Current price is USD$60.29
Price when purchased online
Free 30-day returns
How do you want your item?
Columbus, 43215
Arrives by Wed, Apr 15
|Shipping fee $6.98
Sold and shipped by Best Prices & Service
4.390134529147982 stars out of 5, based on 223 seller reviews(4.4)223 seller reviews
Free 30-day returns
About this item
Product details
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.
- Formal Aspects of Component Software: 11th International Symposium, Facs 2014, Bertinoro, Italy, September 10-12, 2014, , (Paperback)
- Author: Springer
- ISBN: 9783319153162
- Format: Paperback
- Publication Date: 2015-02-18
- Page Count: 385
info:
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here, and we have not verified it. Â
Specifications
Book format
Paperback
Fiction/nonfiction
Non-Fiction
Genre
Computing & Internet
Pub date
2015-02-18
Warranty
Warranty information
Please be aware that the warranty terms on items offered for sale by third party Marketplace sellers may differ from those displayed in this section (if any). To confirm warranty terms on an item offered for sale by a third party Marketplace seller, please use the 'Contact seller' feature on the third party Marketplace seller's information page and request the item's warranty terms prior to purchase.
Similar items you might like
Based on what customers bought
Computational Collective Intelligence: 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, P, (Paperback) $54.99
$5499current price $54.99Computational Collective Intelligence: 7th International Conference, ICCCI 2015, Madrid, Spain, September 21-23, 2015, P, (Paperback)
Constraint Solving and Language Processing: 7th International Workshop, Cslp 2012, Orléans, France, September 13-14, 201, (Paperback) $49.99
$4999current price $49.99Constraint Solving and Language Processing: 7th International Workshop, Cslp 2012, Orléans, France, September 13-14, 201, (Paperback)
Computational Collective Intelligence: 9th International Conference, ICCCI 2017, Nicosia, Cyprus, September 27-29, 2017,, (Paperback) $54.99
$5499current price $54.99Computational Collective Intelligence: 9th International Conference, ICCCI 2017, Nicosia, Cyprus, September 27-29, 2017,, (Paperback)
Formal Program Development: Ifip Tc2/Wg 2.1 State-Of-The-Art Report, (Paperback) $60.29
$6029current price $60.29Formal Program Development: Ifip Tc2/Wg 2.1 State-Of-The-Art Report, (Paperback)
Model-Based Methodologies for Pervasive and Embedded Software: 8th International Workshop, Mompes 2012, Essen, Germany, , (Paperback) $49.99
$4999current price $49.99Model-Based Methodologies for Pervasive and Embedded Software: 8th International Workshop, Mompes 2012, Essen, Germany, , (Paperback)
Fundamental Approaches to Software Engineering: 23rd International Conference, Fase 2020, Held as Part of the European J, (Paperback) $49.99
$4999current price $49.99Fundamental Approaches to Software Engineering: 23rd International Conference, Fase 2020, Held as Part of the European J, (Paperback)
Smart Grid Security: First International Workshop, Smartgridsec 2012, Berlin, Germany, December 3, 2012, Revised Selecte, (Paperback) $49.99
$4999current price $49.99Smart Grid Security: First International Workshop, Smartgridsec 2012, Berlin, Germany, December 3, 2012, Revised Selecte, (Paperback)
Artificial Intelligence and Soft Computing: 14th International Conference, Icaisc 2015, Zakopane, Poland, June 14-18, 20, (Paperback) $56.14
$5614current price $56.14Artificial Intelligence and Soft Computing: 14th International Conference, Icaisc 2015, Zakopane, Poland, June 14-18, 20, (Paperback)
Fundamental Approaches to Software Engineering: 10th International Conference, FASE 2007 Held as Part of the Joint Europ, (Paperback) $56.14
$5614current price $56.14Fundamental Approaches to Software Engineering: 10th International Conference, FASE 2007 Held as Part of the Joint Europ, (Paperback)
Formal Verification of Object-Oriented Software: International Conference, Foveoo 2011, Turin, Italy, October 5-7, 2011,, (Paperback) $49.99
$4999current price $49.99Formal Verification of Object-Oriented Software: International Conference, Foveoo 2011, Turin, Italy, October 5-7, 2011,, (Paperback)
Critical Information Infrastructures Security: 7th International Workshop, Critis 2012, Lillehammer, Norway, September 1, (Paperback) $49.99
$4999current price $49.99Critical Information Infrastructures Security: 7th International Workshop, Critis 2012, Lillehammer, Norway, September 1, (Paperback)
Lecture Notes in Computer Science Hybrid Systems: Computation and Control: 4th International Workshop, Hscc 2001 Rome, Italy, March 28-30, 2001 Proceeding, Book 2034, (Paperback) $107.81
$10781current price $107.81Lecture Notes in Computer Science Hybrid Systems: Computation and Control: 4th International Workshop, Hscc 2001 Rome, Italy, March 28-30, 2001 Proceeding, Book 2034, (Paperback)
Fundamental Approaches to Software Engineering: 9th International Conference, Fase 2006, Held as Part of the Joint Europ, (Paperback) $54.99
$5499current price $54.99Fundamental Approaches to Software Engineering: 9th International Conference, Fase 2006, Held as Part of the Joint Europ, (Paperback)
Lecture Notes in Computer Science Formal Aspects of Component Software: 20th International Conference, Facs 2024, Milan, Italy, September 9-10, 2024, Proc, Book 15189, (Paperback) $37.57
$3757current price $37.57Lecture Notes in Computer Science Formal Aspects of Component Software: 20th International Conference, Facs 2024, Milan, Italy, September 9-10, 2024, Proc, Book 15189, (Paperback)
Formal Aspects of Component Software: 15th International Conference, Facs 2018, Pohang, South Korea, October 10-12, 2018, (Paperback) $54.99
$5499current price $54.99Formal Aspects of Component Software: 15th International Conference, Facs 2018, Pohang, South Korea, October 10-12, 2018, (Paperback)
Search-Based Software Engineering: 7th International Symposium, Ssbse 2015, Bergamo, Italy, September 5-7, 2015, Proceed, (Paperback) $56.14
$5614current price $56.14Search-Based Software Engineering: 7th International Symposium, Ssbse 2015, Bergamo, Italy, September 5-7, 2015, Proceed, (Paperback)
Product-Focused Software Process Improvement: 12th International Conference, PROFES 2011, Torre Canne, Italy, June 20-22, (Paperback) $54.99
$5499current price $54.99Product-Focused Software Process Improvement: 12th International Conference, PROFES 2011, Torre Canne, Italy, June 20-22, (Paperback)
Advances in Web-Based Learning - Icwl 2016: 15th International Conference, Rome, Italy, October 26-29, 2016, Proceedings, (Paperback) $54.99
$5499current price $54.99Advances in Web-Based Learning - Icwl 2016: 15th International Conference, Rome, Italy, October 26-29, 2016, Proceedings, (Paperback)
Declarative Agent Languages and Technologies IV: 4th International Workshop, Dalt 2006, Hakodate, Japan, May 8, 2006, Se, (Paperback) $56.14
$5614current price $56.14Declarative Agent Languages and Technologies IV: 4th International Workshop, Dalt 2006, Hakodate, Japan, May 8, 2006, Se, (Paperback)
Lecture Notes in Computer Science VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, Frg, Apr, Book 428, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science VDM '90. VDM and Z - Formal Methods in Software Development: Third International Symposium of VDM Europe, Kiel, Frg, Apr, Book 428, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
Related pages
- Mastering-shiny General Software Development Engineering Books
- Apk
- Sage Software
- Software Spss
- Pdf Soft Ware
- Pc Maintenance
- Software Development & Engineering Tools Books
- General Software Development & Engineering Books
- Presentation Software Books
- Rosetta Stone Software
- Systems Analysis & Design Books
- Collaboration Software Books