Open Daily: 10am - 10pm | Alley door pickup 10am - 7pm 3038 Hennepin Ave Minneapolis, MN
612-822-4611

  • Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Journeys Between Formal Methods and the Railway Industry: Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday

Journeys Between Formal Methods and the Railway Industry: Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday

Gnesi, Stefania
Haxthausen, Anne E.
Ter Beek, Maurice H.

Paperback

Series: Lecture Notes in Computer Science, Book 1647

General ComputersProgramming

ISBN10: 3032124832
ISBN13: 9783032124838
Publisher: Springer
Published: Feb 6 2026
Pages: 354
Weight: 1.15
Height: 0.77 Width: 6.14 Depth: 9.21
Language: English

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 Bachelor's and Master's curricula in Computer Engineering, and President of the School of Engineering. He has collaborated with CNR-ISTI Pisa, Télécom ParisTech, and the Technical University of Denmark, and he has had many research, teaching, and consulting projects in leading companies and state enterprises.

Also from

Gnesi, Stefania

View All

Also in

Programming

View All