Formal Aspects of Component Software
18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings
AvSilvia Lizeth Tapia Tarifa,José Proença
Häftad, Engelska, 2022
Del 13712 i serien Lecture Notes in Computer Science
733 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
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.
Produktinformation
Utforska kategorier
Innehållsförteckning
Hoppa över listan
Du kanske också är intresserad av
Del 14446
Theoretical Aspects of Computing – ICTAC 2023
Erika Ábrahám, Clemens Dubslaff, Silvia Lizeth Tapia Tarifa
Häftad, 2023
896 kr
Theoretical Aspects of Computing - ICTAC 2023
Silvia Lizeth Tapia Tarifa, Clemens Dubslaff, Erika Abraham
E-bok
20231 101 kr
- -23%
- -19%
- -23%
Del 1
- 4 för 3