Laura Semini – författare
Visar alla böcker från författaren Laura Semini.
3 produkter
From Software Engineering to Formal Methods and Tools, and Back
Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
Av Maurice H. ter Beek, Alessandro Fantechi m. fl.
Häftad, 2019
729 kr
Lägg i varukorg
Quality of Information and Communications Technology
17th International Conference on the Quality of Information and Communications Technology, QUATIC 2024, Pisa, Italy, September 11–13, 2024, Proceedings
Av Antonia Bertolino, João Pascoal Faria m. fl.
Häftad, 2024
2029 kr
Lägg i varukorg
Journeys Between Formal Methods and the Railway Industry
Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday
Av Maurice H. ter Beek, Stefania Gnesi m. fl.
Häftad, 2026
1419 kr
Lägg i varukorg