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

AvStefania Gnesi,Tiziana Margaria

Häftad, Engelska, 2013

1 339 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

AvNazim Madhavji,Liliana Pasquale m. fl.

Häftad, Engelska, 2020

719 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

AvMaurice H. ter Beek,Stefania Gnesi m. fl.

Häftad, Engelska, 2026

1 399 kr

Skickas inom 10-15 vardagar

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 Gnesi m. fl.

Häftad, Engelska, 2016

719 kr

Skickas inom 10-15 vardagar

FM 2016: Formal Methods

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

AvJohn Fitzgerald,Constance Heitmeyer m. fl.

Häftad, Engelska, 2016

719 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 Gnesi m. fl.

Häftad, Engelska, 2003

1 429 kr

Skickas inom 10-15 vardagar

Integrated Formal Methods

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

AvJohn Derrick,Stefania Gnesi m. fl.

Häftad, Engelska, 2012

719 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 Fitzgerald m. fl.

Häftad, Engelska, 2012

699 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

719 kr

Skickas inom 10-15 vardagar