19 results
Type of media (2)
Availability (2)
Classification (5)
Year
Persons
Publishers
Sort by
Results per page
Filter
19 results

Your search for Stefania Gnesi

  1. Cover: Journeys Between Formal Methods and the Railway Industry - Springer
    Maurice H. ter Beek | Stefania Gnesi | Anne E. Haxthausen
    Journeys Between Formal Methods and the Railway Industry
    Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday
    02/2026
    Springer
    9783032124845 (ISBN)
    E-Book
    PDF
    Other editions
    €96.29
    Available for download
  2. Cover: FM 2016: Formal Methods - Springer
    John Fitzgerald | Constance Heitmeyer | Stefania Gnesi
    FM 2016: Formal Methods
    21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
    11/2016
    Springer
    9783319489896 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  3. Cover: Critical Systems: Formal Methods and Automated Verification - Springer
    Maurice H. ter Beek | Stefania Gnesi | Alexander Knapp
    Critical Systems: Formal Methods and Automated Verification
    Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
    09/2016
    Springer
    9783319459431 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  4. Cover: Requirements Engineering: Foundation for Software Quality - Springer
    Nazim Madhavji | Liliana Pasquale | Alessio Ferrari
    Requirements Engineering: Foundation for Software Quality
    26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24-27, 2020, Proceedings
    03/2020
    Springer
    9783030444297 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  5. Cover: Formal Methods for Industrial Critical Systems - Wiley-IEEE Computer Society Press
    Stefania Gnesi | Tiziana Margaria
    Formal Methods for Industrial Critical Systems
    A Survey of Applications
    11/2012
    Wiley-IEEE Computer Society Press
    9781118459874 (ISBN)
    E-Book
    ePUB
    Other editions
    €85.99
    Available for download
  6. Cover: Formal Methods for Industrial Critical Systems - Wiley
    Stefania Gnesi | Tiziana Margaria
    Formal Methods for Industrial Critical Systems
    A Survey of Applications
    11/2012
    Wiley
    9781118459867 (ISBN)
    E-Book
    PDF
    Other editions
    €85.99
    Available for download
  7. Cover: Fundamental Approaches to Software Engineering - Springer
    Stefania Gnesi | Arend Rensink
    Fundamental Approaches to Software Engineering
    17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
    03/2014
    Springer
    9783642548048 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  8. Cover: Integrated Formal Methods - Springer
    John Derrick | Stefania Gnesi | Diego Latella
    Integrated Formal Methods
    9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
    06/2012
    Springer
    9783642307294 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  9. Cover: Abstract State Machines, Alloy, B, VDM, and Z - Springer
    John Derrick | John Fitzgerald | Stefania Gnesi
    Abstract State Machines, Alloy, B, VDM, and Z
    Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
    06/2012
    Springer
    9783642308857 (ISBN)
    E-Book
    PDF
    Other editions
    €53.49
    Available for download
  10. Cover: Abstract State Machines, Alloy, B, VDM, and Z - Springer
    John Derrick | John Fitzgerald | Stefania Gnesi
    Abstract State Machines, Alloy, B, VDM, and Z
    Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings
    06/2012
    Springer
    9783642308840 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Available immediately
  11. Cover: Requirements Engineering: Foundation for Software Quality - Springer
    Nazim Madhavji | Liliana Pasquale | Alessio Ferrari
    Requirements Engineering: Foundation for Software Quality
    26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24-27, 2020, Proceedings
    03/2020
    Springer
    9783030444280 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  12. Cover: FME 2003: Formal Methods - Springer
    Keijiro Araki | Stefania Gnesi | Dion Mandrioli
    FME 2003: Formal Methods
    International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings
    08/2003
    Springer
    9783540408284 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €106.99
    Shipment within 7-9 days
  13. Cover: Fundamental Approaches to Software Engineering - Springer
    Stefania Gnesi | Arend Rensink
    Fundamental Approaches to Software Engineering
    17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings
    03/2014
    Springer
    9783642548031 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  14. Cover: Integrated Formal Methods - Springer
    John Derrick | Stefania Gnesi | Diego Latella
    Integrated Formal Methods
    9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings
    06/2012
    Springer
    9783642307287 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 7-9 days
  15. Cover: Journeys Between Formal Methods and the Railway Industry - Springer
    Maurice H. ter Beek | Stefania Gnesi | Anne E. Haxthausen
    Journeys Between Formal Methods and the Railway Industry
    Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday
    02/2026
    Springer
    9783032124838 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €104.85
    Shipment within 15-20 days
  16. Cover: FM 2016: Formal Methods - Springer
    John Fitzgerald | Constance Heitmeyer | Stefania Gnesi
    FM 2016: Formal Methods
    21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings
    11/2016
    Springer
    9783319489889 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  17. Cover: Critical Systems: Formal Methods and Automated Verification - Springer
    Maurice H. ter Beek | Stefania Gnesi | Alexander Knapp
    Critical Systems: Formal Methods and Automated Verification
    Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings
    09/2016
    Springer
    9783319459424 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €53.49
    Shipment within 10-15 days
  18. Cover: Formal Methods for Industrial Critical Systems - Wiley
    Stefania Gnesi | Tiziana Margaria
    Formal Methods for Industrial Critical Systems
    A Survey of Applications
    03/2013
    Wiley
    9780470876183 (ISBN)
    Book
    Paperback/Softback
    Other editions
    €98.50
    Shipment within 10-20 days
  19. This image is currently not available.
    Stefania Gnesi | Arend Rensink
    Fundamental Approaches to Software Engineering
    17th International Conference, Fase 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2014, Grenoble, France, April 5-13, 2014, Proceedings
    03/2014
    Springer
    9783642548055 (ISBN)
    Book
    Paperback/Softback
    €22.99
    Not available