Hoppa till sidans huvudinnehåll

Stefania Gnesi - Böcker

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

Formal Methods for Industrial Critical Systems

A Survey of Applications

Av Stefania Gnesi, Tiziana Margaria

Häftad, Engelska, 2013

1 409 kr

Skickas inom 10-15 vardagar

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, Engelska, 2020

729 kr

Skickas inom 10-15 vardagar
  • Nyhet

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, Engelska, 2026

2 039 kr

Kommande

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, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar

FM 2016: Formal Methods

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

Av John Fitzgerald, Constance Heitmeyer m. fl

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2003

1 449 kr

Skickas inom 10-15 vardagar

Integrated Formal Methods

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

Av John Derrick, Stefania Gnesi m. fl

Häftad, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2012

709 kr

Skickas inom 10-15 vardagar

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, Engelska, 2014

729 kr

Skickas inom 10-15 vardagar