Akademibokhandeln

Stefania Gnesi – författare

Visar alla böcker från författaren Stefania Gnesi.

9 produkter

  1. Stefania Gnesi, Tiziana Margaria - Formal Methods for Industrial Critical Systems, Häftad. Tillgänglighet: Lägg i varukorg

    Formal Methods for Industrial Critical Systems

    A Survey of Applications

    Av Stefania Gnesi, Tiziana Margaria

    Häftad, 2012

    1479 kr

    Lägg i varukorg

  2. Nazim Madhavji, Liliana Pasquale, Alessio Ferrari, Stefania Gnesi - Requirements Engineering: Foundation for Software Quality, Häftad. Tillgänglighet: Lägg i varukorg

    Requirements Engineering: Foundation for Software Quality

    26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24–27, 2020, Proceedings

    Av Nazim Madhavji, Liliana Pasquale m. fl.

    Häftad, 2020

    739 kr

    Lägg i varukorg

  3. Maurice H. ter Beek, Stefania Gnesi, Anne E. Haxthausen, Laura Semini - Journeys Between Formal Methods and the Railway Industry, Häftad. Tillgänglighet: Lägg i varukorg

    Journeys Between Formal Methods and the Railway Industry

    Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday

    Av Maurice H. ter Beek, Stefania Gnesi m. fl.

    Häftad, 2026

    1439 kr

    Lägg i varukorg

  4. Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp - Critical Systems: Formal Methods and Automated Verification, Häftad. Tillgänglighet: Lägg i varukorg

    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

    Av Maurice H. ter Beek, Stefania Gnesi m. fl.

    Häftad, 2016

    739 kr

    Lägg i varukorg

  5. John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou - FM 2016: Formal Methods, Häftad. Tillgänglighet: Lägg i varukorg

    FM 2016: Formal Methods

    21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

    Av John Fitzgerald, Constance Heitmeyer m. fl.

    Häftad, 2016

    739 kr

    Lägg i varukorg

  6. Keijiro Araki, Stefania Gnesi, Dion Mandrioli - FME 2003: Formal Methods, Häftad. Tillgänglighet: Lägg i varukorg

    FME 2003: Formal Methods

    International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

    Av Keijiro Araki, Stefania Gnesi m. fl.

    Häftad, 2003

    1469 kr

    Lägg i varukorg

  7. John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne - Integrated Formal Methods, Häftad. Tillgänglighet: Lägg i varukorg

    Integrated Formal Methods

    9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings

    Av John Derrick, Stefania Gnesi m. fl.

    Häftad, 2012

    739 kr

    Lägg i varukorg

  8. John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene - Abstract State Machines, Alloy, B, VDM, and Z, Häftad. Tillgänglighet: Lägg i varukorg

    Abstract State Machines, Alloy, B, VDM, and Z

    Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings

    Av John Derrick, John Fitzgerald m. fl.

    Häftad, 2012

    719 kr

    Lägg i varukorg

  9. Stefania Gnesi, Arend Rensink - Fundamental Approaches to Software Engineering, Häftad. Tillgänglighet: Lägg i varukorg

    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

    Av Stefania Gnesi, Arend Rensink

    Häftad, 2014

    739 kr

    Lägg i varukorg