Gnesi, Stefania books & textbook
FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings (Programming and Software Engineering)
Fitzgerald, John Heitmeyer, Constance Gnesi, Stefania Philippou, Anna
Springer /2016-11-08 Paperback / 812 Pages
isbn-10: 3319489887 / isbn-13: 9783319489889
Requirements Engineering: Foundation for Software Quality: 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24–27, 2020, Proceedings (Lecture Notes in Computer Science, 12045)
Madhavji, Nazim Pasquale, Liliana Ferrari, Alessio Gnesi, Stefania
Springer /2020-03-19 Paperback / 328 Pages
isbn-10: 3030444287 / isbn-13: 9783030444280
Critical Systems: Formal Methods and Automated Verification: Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and ... (Lecture Notes in Computer Science, 9933)
ter Beek, Maurice H. Gnesi, Stefania Knapp, Alexander
Springer /2016-09-14 Paperback / 263 Pages
isbn-10: 3319459422 / isbn-13: 9783319459424
Formal Methods for Industrial Critical Systems: A Survey of Applications
Gnesi, Stefania Margaria, Tiziana
Wiley-IEEE Computer Society Pr /2012-12-17 Paperback / 292 Pages
isbn-10: 0470876182 / isbn-13: 9780470876183
Formal Methods for Industrial Critical Systems: Summary of Application(Chinese Edition)
[ YI ] Stefania Gnesi . Tizian...
Machinery Industry Press /2015-01-01 Paperback
isbn-10: 7111485211 / isbn-13: 9787111485216
Fundamental Approaches to Software Engineering: 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and ... Computer Science and General Issues)
Gnesi, Stefania Rensink, Arend
Springer /2014-03-17 Paperback / 448 Pages
isbn-10: 3642548032 / isbn-13: 9783642548031
Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science, 7316)
Derrick, John Fitzgerald, John Gnesi, Stefania Khurshid, Sarfraz Leuschel, Michael Reeves, Steve Riccobene, Elvinia
Springer /2012-06-12 Paperback / 393 Pages
isbn-10: 3642308848 / isbn-13: 9783642308840
Integrated Formal Methods: 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science, 7321)
Derrick, John Gnesi, Stefania Latella, Diego Treharne, Helen
Springer /2012-06-06 Paperback / 372 Pages
isbn-10: 3642307280 / isbn-13: 9783642307287
FME 2003: Formal Methods: International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings (Lecture Notes in Computer Science, 2805)
Araki, Keijiro Gnesi, Stefania Mandrioli, Dion
Springer /2003-08-27 Paperback / 980 Pages
isbn-10: 3540408282 / isbn-13: 9783540408284
