Hoppa till sidans huvudinnehåll

Laura Semini – författare

Visar alla böcker från författaren .
3 produkter
Maurice H. ter Beek, Alessandro Fantechi, Laura Semini - From Software Engineering to Formal Methods and Tools, and Back, Häftad
Del 11865 - Lecture Notes in Computer Science

From Software Engineering to Formal Methods and Tools, and Back

Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday

AvMaurice H. ter Beek,Alessandro Fantechim. fl.

Häftad, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

Antonia Bertolino, João Pascoal Faria, Patricia Lago, Laura Semini - Quality of Information and Communications Technology, Häftad
Del 2178 - Communications in Computer and Information Science

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

AvAntonia Bertolino,João Pascoal Fariam. fl.

Häftad, Engelska, 2024

2 009 kr

Skickas inom 10-15 vardagar

Maurice H. ter Beek, Stefania Gnesi, Anne E. Haxthausen, Laura Semini - Journeys Between Formal Methods and the Railway Industry, Häftad

Journeys Between Formal Methods and the Railway Industry

Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday

AvMaurice H. ter Beek,Stefania Gnesim. fl.

Häftad, Engelska, 2026

1 409 kr

Skickas inom 10-15 vardagar