Hoppa till sidans huvudinnehåll

Stefania Gnesi – författare

Visar alla böcker från författaren Stefania Gnesi.
9 produkter
Stefania Gnesi, Tiziana Margaria - Formal Methods for Industrial Critical Systems, Häftad

Formal Methods for Industrial Critical Systems

A Survey of Applications

AvStefania Gnesi,Tiziana Margaria

Häftad, Engelska, 2013

1 449 kr

Skickas inom 5-8 vardagar

Nazim Madhavji, Liliana Pasquale, Alessio Ferrari, Stefania Gnesi - Requirements Engineering: Foundation for Software Quality, Häftad
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

Maurice H. ter Beek, Stefania Gnesi, Anne E. Haxthausen, Laura Semini - Journeys Between Formal Methods and the Railway Industry, Häftad

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

Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp - Critical Systems: Formal Methods and Automated Verification, Häftad
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

John Fitzgerald, Constance Heitmeyer, Stefania Gnesi, Anna Philippou - FM 2016: Formal Methods, Häftad

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

Keijiro Araki, Stefania Gnesi, Dion Mandrioli - FME 2003: Formal Methods, Häftad

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

John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne - Integrated Formal Methods, Häftad

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

John Derrick, John Fitzgerald, Stefania Gnesi, Sarfraz Khurshid, Michael Leuschel, Steve Reeves, Elvinia Riccobene - Abstract State Machines, Alloy, B, VDM, and Z, Häftad

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

Stefania Gnesi, Arend Rensink - Fundamental Approaches to Software Engineering, Häftad

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