Del 14446
Theoretical Aspects of Computing – ICTAC 2023
Erika Ábrahám, Clemens Dubslaff, Silvia Lizeth Tapia Tarifa
Häftad, 2023
1 149 kr
Del 13712 i serien Lecture Notes in Computer Science
Formal Aspects of Component Software
18th International Conference, FACS 2022, Virtual Event, November 10–11, 2022, Proceedings
Häftad, Engelska, 2022
939 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
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
- Utgivningsdatum2022-11-03
- Mått155 x 235 x 15 mm
- Vikt394 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor245
- FörlagSpringer International Publishing AG
- ISBN9783031208713
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
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
1 069 kr
- Nyhet
Del 1
- Nyhet
Del 1
Software Engineering and Formal Methods. SEFM 2025 Collocated Workshops
Francesco Bianchini, Arianna Pavone, José Proença, José Ignacio Requeno Jarabo, Umberto Rivieccio
Häftad, 2026
2 059 kr