Books > Computing & IT > Computer communications & networking
|
Buy Now
Formal Aspects of Component Software - 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings (Paperback, 1st ed. 2020)
Loot Price: R1,580
Discovery Miles 15 800
|
|
Formal Aspects of Component Software - 16th International Conference, FACS 2019, Amsterdam, The Netherlands, October 23-25, 2019, Proceedings (Paperback, 1st ed. 2020)
Series: Programming and Software Engineering, 12018
Expected to ship within 10 - 15 working days
|
This book constitutes the thoroughly revised selected papers from
the 16th International Conference on Formal Aspects of Component
Software, FACS 2019, held in Amsterdam, The Netherlands, in October
2019. The 9 full papers presented together with 9 full papers and 3
short papers as well as 2 other papers were carefully reviewed and
selected from 27 submissions. FACS 2019 is concerned with how
formal methods can be used to make component-based and
service-oriented software development succeed. Formal methods have
provided a foundation for component-based software by successfully
addressing challenging issues such as mathematical models for
components, composition and adaptation, or rigorous approaches to
verification, deployment, testing, and certification.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.