Stefania Gnesi – författare

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

9 produkter

Kategorier

9 produkter

Formal Methods for Industrial Critical Systems
A Survey of Applications
AvStefania Gnesi,Tiziana Margaria
Häftad, Engelska, 2013
1 429 kr
Skickas inom 5-8 vardagar
Del 12045
Del 12045 - Lecture Notes in Computer Science
Requirements Engineering: Foundation for Software Quality
26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24–27, 2020, Proceedings
AvNazim Madhavji,Liliana Pasqualem. fl.
Häftad, Engelska, 2020
729 kr
Skickas inom 10-15 vardagar
Journeys Between Formal Methods and the Railway Industry
Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th Birthday
AvMaurice H. ter Beek,Stefania Gnesim. fl.
Häftad, Engelska, 2026
1 419 kr
Skickas inom 10-15 vardagar
Del 9933
Del 9933 - Lecture Notes in Computer Science
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
AvMaurice H. ter Beek,Stefania Gnesim. 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
AvJohn Fitzgerald,Constance Heitmeyerm. 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
AvKeijiro Araki,Stefania Gnesim. 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
AvJohn Derrick,Stefania Gnesim. 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
AvJohn Derrick,John Fitzgeraldm. 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
AvStefania Gnesi,Arend Rensink
Häftad, Engelska, 2014
729 kr
Skickas inom 10-15 vardagar