Laura Semini - Böcker

Visar alla böcker från författaren Laura Semini.

3 produkter

Kategorier

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

719 kr

Skickas inom 10-15 vardagar

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

2 089 kr

Skickas inom 10-15 vardagar

Nyhet

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

2 039 kr

Kommande