Opening book details…
Can I read Formal Aspects of Component Software : 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings on EtoBox?
Formal Aspects of Component Software : 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings by Silvia Lizeth Tapia Tarifa; José Proença is a nonfiction available to read on EtoBox.
What is Formal Aspects of Component Software : 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings about?
This book constitutes the thoroughly revised selected papers from the 18th International Symposium, FACS 2022, which was held online in November 2022.The 12 full papers and 1 short paper were carefully reviewed and selected from 25 submissions. FACS 2021 is focusing on the areas of component software and formal methods in order to promote a deeper understanding of how formal methods can or should be used to make component-based software development succeed. Erscheinungsdatum: 03.11.2022
Who reads Formal Aspects of Component Software : 18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings?
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- Silvia Lizeth Tapia Tarifa; José Proença
- Publisher
- Springer International Publishing Springer
- Published
- 2022
- Language
- EN
- ISBN
- 9783031208713
- Category
- nonfiction
- Subjects
- Engineering, Science, Management
Other editions & translations
More by Silvia Lizeth Tapia Tarifa; José Proença
Browse all works by Silvia Lizeth Tapia Tarifa; José Proença
Similar books
- Formal Aspects of Component Software: 13th International Conference, FACS 2016, Besançon, France, October 19-21, 2016, Revised Selected Papers (Lecture Notes in Computer Science (10231)) — Ramtin Khosravi Olga Kouchnarenko (2017)
- Formal Aspects of Component Software : 7th International Workshop, FACS 2010, Guimarães, Portugal, October 14-16, 2010, Revised Selected Papers — Sanjit A. Seshia (auth.), Luís Soares Barbosa, Markus Lumpe (2012)
- Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings — Marieke Huisman; Corina Păsăreanu; Naijun Zhan (2021)
- Networked Systems : 10th International Conference, NETYS 2022, Virtual Event, May 17–19, 2022, Proceedings — Mohammed-Amine Koulali; Mira Mezini (2022)
- Security and Privacy in Communication Networks : 18th EAI International Conference, SecureComm 2022, Virtual Event, October 2022, Proceedings — Fengjun Li, Kaitai Liang, Zhiqiang Lin Sokratis K. Katsikas, (2023)
- Wireless Internet : 15th EAI International Conference, WiCON 2022, Virtual Event, November 2022, Proceedings — Zygmunt J. Haas; Ravi Prakash; Habib Ammari; Weili Wu (2023)