Laura Semini – författare
Visar alla böcker från författaren Laura Semini. Handla med fri frakt och snabb leverans.
6 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
569 kr
Lägg i varukorg
This volume was published in honor of Stefania Gnesi’s 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of Stefania and was presented to her on October 8, 2019 one-day colloquium held in Porto, Portugal,The Festschrift consists of eight sections, …
From Software Engineering to Formal Methods and Tools, and Back
Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday
Av Laura Semini, Alessandro Fantechi m. fl.
E-bok, 2019
755 kr
Lägg i varukorg
This volume was published in honor of Stefania Gnesi’s 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of Stefania and was presented to her on October 8, 2019 one-day colloquium held in Porto, Portugal, The Festschrift consists of eight sections, …
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
1580 kr
Lägg i varukorg
This book constitutes the proceedings of the 17th International Conference on the Quality of Information and Communications Technology, QUATIC 2024, held in Pisa, Italy, during September 11–13, 2024.The 34 full and short papers of QUATIC 2024 included in this book were carefully reviewed and …
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 Laura Semini, Patricia Lago m. fl.
E-bok, 2024
1962 kr
Lägg i varukorg
This book constitutes the proceedings of the 17th International Conference on the Quality of Information and Communications Technology, QUATIC 2024, held in Pisa, Italy, during September 11–13, 2024. The 34 full and short papers of QUATIC 2024 included in this book were carefully reviewed and …
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
1108 kr
Lägg i varukorg
Alessandro Fantechi earned a Laurea Degree in Computer Science from the University of Pisa and a Diploma from the Scuola Normale Superiore di Pisa, both in 1978. He has lectured at the University of Florence for decades on the foundations of Computer Science and Software Engineering, where he was …
Journeys Between Formal Methods and the Railway Industry
Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday
Av Laura Semini, Anne E. Haxthausen m. fl.
E-bok, 2026
1418 kr
Lägg i varukorg
Alessandro Fantechi earned a Laurea Degree in Computer Science from the University of Pisa and a Diploma from the Scuola Normale Superiore di Pisa, both in 1978. He has lectured at the University of Florence for decades on the foundations of Computer Science and Software Engineering, where he was …
