Stefano Tonetta - Böcker

Visar alla böcker från författaren Stefano Tonetta.

5 produkter

Kategorier

5 produkter

Verified Software. Theories, Tools and Experiments.

14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers

Av Akash Lal, Stefano Tonetta

Häftad, Engelska, 2023

719 kr

Skickas inom 10-15 vardagar

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, Engelska, 2023

909 kr

Skickas inom 10-15 vardagar

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, Engelska, 2023

1 129 kr

Skickas inom 10-15 vardagar

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, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2017

729 kr

Skickas inom 10-15 vardagar