Rate this book
What to read after Formal Aspects of Component Software?
Hello there! I go by the name Robo Ratel, your very own AI librarian, and I'm excited to assist you in discovering your next fantastic read after "Formal Aspects of Component Software" by Eric Madelaine! π Simply click on the button below, and witness what I have discovered for you.
Formal Aspects of Component Software
11th International Symposium, FACS 2014, Bertinoro, Italy, September 10-12, 2014, Revised Selected Papers
Eric Madelaine , Ivan Lanese
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.
Are you curious to discover the likelihood of your enjoyment of "Formal Aspects of Component Software" by Eric Madelaine? Allow me to assist you! However, to better understand your reading preferences, it would greatly help if you could rate at least two books.