Fantechi, Alessandro books & textbook
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (Programming and Software Engineering)
Fantechi, Alessandro Lecomte, Thierry Romanovsky, Alexander
Springer /2017-10-20 Paperback / 283 Pages
isbn-10: 3319684981 / isbn-13: 9783319684987
Formal Methods for Open Object-Based Distributed Systems (IFIP Advances in Information and Communication Technology)
Ciancarini, Paolo Fantechi, Alessandro Gorrieri, Roberto
Springer /2013-01-17 Paperback / 448 Pages
isbn-10: 1475752660 / isbn-13: 9781475752663
Software Engineering for Resilient Systems: 7th International Workshop, SERENE 2015, Paris, France, September 7-8, 2015. Proceedings (Programming and Software Engineering)
Fantechi, Alessandro Pelliccione, Patrizio
Springer /2015-08-19 Paperback / 154 Pages
isbn-10: 3319231286 / isbn-13: 9783319231280
Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers (Lecture Notes in Computer Science, 5596)
Cofer, Darren Fantechi, Alessandro
Springer /2009-07-20 Paperback / 243 Pages
isbn-10: 3642032397 / isbn-13: 9783642032394
Il nuovo Seminario Minore Arcivescovile di Firenze: (Ristampa anastatica) (Opuscoli dell'Associazione degli alunni della Scuola di Ingegneria in Santa Marta) (Italian Edition)
Independently published /2023-06-19 Paperback / 66 Pages
Informatica industriale (Italian Edition)
Città Studi Edizioni /2009-05-15 Paperback / 288 Pages
isbn-10: 882517344X / isbn-13: 9788825173444
From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday (Theoretical Computer Science and General Issues)
ter Beek, Maurice H. Fantechi, Alessandro Semini, Laura
Springer /2019-09-14 Paperback / 588 Pages
isbn-10: 3030309843 / isbn-13: 9783030309848
