Journeys Between Formal Methods and the Railway Industry
Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday
                    
                            Book series
The series Lecture Notes in Computer Science (LNCS), including its subseries Lecture Notes in Artificial Intelligence (LNAI) and Lecture Notes in Bioinformatics (LNBI), has established itself as a medium for the publication of new developments in computer science and information technology research, teaching, and education.
LNCS enjoys close cooperation with the computer science R & D community, the series counts many renowned academics among its volume editors and paper authors, and collaborates with prestigious societies. Its mission is to serve this international community by providing an invaluable service, mainly focused on the publication of conference and workshop proceedings and postproceedings. LNCS commenced publication in 1973.
Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday
Available Renditions
                    Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
Available Renditions
                    Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
Available Renditions
                    Derived from Sources for International Standard ISO/IEC 8652:2023 (E) and Technical Corrigendum 1
Available Renditions
                    Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday
Available Renditions