Skip to main content
Search Button
United States Kobo store Gift Cards Help

Rakuten Kobo

Wishlist

Shopping Cart

You're getting the VIP treatment!

Item(s) unavailable for purchase
Please review your cart. You can remove the unavailable item(s) now or we'll automatically remove it at Checkout.
itemsitem
itemsitem

Recommended For You

Loading...


Showing 1 - 3 of 3 results for “laura semini”
Skip side bar filters

  • Journeys Between Formal Methods and the Railway Industry

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

    Edited by Maurice H. ter Beek, Stefania Gnesi, Anne E. Haxthausen, Laura Semini ...
    Series series Computer Science (R0)
    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 also responsible for the curriculum of the PhD school in Information Engineering, coordinator of the ... Read more

    $98.09 USD

  • 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

    Edited by Antonia Bertolino, João Pascoal Faria, Patricia Lago, Laura Semini ...
    Series series Springer Nature Proceedings Computer Science
    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 selected from 49 submissions.QUATIC is a forum for disseminating advanced methods, techniques and tools to ... Read more

    $143.09 USD

  • From Software Engineering to Formal Methods and Tools, and Back

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

    Edited by Maurice H. ter Beek, Alessandro Fantechi, Laura Semini ...
    Series series Computer Science (R0)
    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, seven of which reflect the main research areas to which Stefania has contributed. Following a survey ... Read more

    $49.49 USD