Andere Kunden interessierten sich auch für
![Formal Aspects of Component Software]( "Formal Aspects of Component Software")
Formal Aspects of Component Software37,99 €![Foundations of Software Science and Computation Structures]( "Foundations of Software Science and Computation Structures")
Foundations of Software Science and Computation Structures37,99 €![Software Engineering and Formal Methods]( "Software Engineering and Formal Methods")
Software Engineering and Formal Methods37,99 €![Formal Methods and Software Engineering]( "Formal Methods and Software Engineering")
Formal Methods and Software Engineering75,99 €![Theoretical Aspects of Computing ¿ ICTAC 2016]( "Theoretical Aspects of Computing ¿ ICTAC 2016")
Theoretical Aspects of Computing ¿ ICTAC 201637,99 €![Operational Semantics for Timed Systems]( "Operational Semantics for Timed Systems")
Operational Semantics for Timed Systems42,99 €![Formal Aspects of Component Software]( "Formal Aspects of Component Software")
Formal Aspects of Component Software37,99 €
This book constitutes the revised selected papers fromthe 12th International Conference on Formal Aspects of Component Software, FACS2015, held in Niterói, Brazil, in October 2015.
The 15 full papers and 2 invited papers presented in thisvolume were carefully reviewed and selected from 33 submissions. They areorganized in topical sections, namely quality of service to withstand faults,component-based software development through research on mathematical modelsfor components, composition and adaptation; rigorous approaches toverification, deployment, testing, and certification.
The 15 full papers and 2 invited papers presented in thisvolume were carefully reviewed and selected from 33 submissions. They areorganized in topical sections, namely quality of service to withstand faults,component-based software development through research on mathematical modelsfor components, composition and adaptation; rigorous approaches toverification, deployment, testing, and certification.