- Nyhet
Formal Aspects of Component Software
18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings
AvJose Proenca,Silvia Lizeth Tapia Tarifa
E-bok
Engelska, 2022903 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet
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
Hoppa över listan
Du kanske också är intresserad av
Del 13712
Del 14446
Theoretical Aspects of Computing – ICTAC 2023
Erika Ábrahám, Clemens Dubslaff, Silvia Lizeth Tapia Tarifa
Häftad, 2023
911 kr
Theoretical Aspects of Computing - ICTAC 2023
Silvia Lizeth Tapia Tarifa, Clemens Dubslaff, Erika Abraham
E-bok
20231 150 kr
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops
Graham Pluck, Reinhard Kahle, Manuel A. Martins, Raul Fervari, Jose Proenca
E-bok
20251 067 kr
Del 15551
Software Engineering and Formal Methods. SEFM 2024 Collocated Workshops
José Proença, Raul Fervari, Manuel A. Martins, Reinhard Kahle, Graham Pluck
Häftad, 2025
844 kr