Stefano Tonetta – författare
Visar alla böcker från författaren Stefano Tonetta.
5 produkter
Verified Software. Theories, Tools and Experiments.
14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers
Häftad, 2023
729 kr
Lägg i varukorg
Computer Safety, Reliability, and Security
42nd International Conference, SAFECOMP 2023, Toulouse, France, September 20–22, 2023, Proceedings
Av Jérémie Guiochet, Stefano Tonetta m. fl.
Häftad, 2023
919 kr
Lägg i varukorg
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops
ASSURE, DECSoS, SASSUR, SENSEI, SRToITS, and WAISE, Toulouse, France, September 19, 2023, Proceedings
Av Jérémie Guiochet, Stefano Tonetta m. fl.
Häftad, 2023
1159 kr
Lägg i varukorg
Computer Safety, Reliability, and Security
36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings
Av Stefano Tonetta, Erwin Schoitsch m. fl.
Häftad, 2017
729 kr
Lägg i varukorg
Computer Safety, Reliability, and Security
SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings
Av Stefano Tonetta, Erwin Schoitsch m. fl.
Häftad, 2017
729 kr
Lägg i varukorg