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 359 kr

Skickas inom 7-10 vardagar

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

719 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 389 kr

Skickas inom 10-15 vardagar

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

719 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

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 Gnesim. fl.

Häftad, Engelska, 2003

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

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 Fitzgeraldm. 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