Stefania Gnesi | Akateeminen Kirjakauppa

Formal Methods for Industrial Critical Systems - A Survey of Applications

Gnesi, Stefania; Margaria, Tiziana
John Wiley & Sons Inc
2013
Pehmeäkantinen kirja

101,00 €

Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Co

Gnesi, Stefania; Rensink, Arend
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2014
Pehmeäkantinen kirja

51,10 €

FME 2003: Formal Methods : International Symposium of Formal Methods Europe. Pisa Italy, September 8-14, 2003, Proceedings

Araki, Keijiro; Gnesi, Stefania; Mandrioli, Dion
Springer
2003
Pehmeäkantinen kirja

100,90 €

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

Derrick, John; Gnesi, Stefania; Latella, Diego; Treharne, Helen
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2012
Pehmeäkantinen kirja

51,10 €

Abstract State Machines, Alloy, B, VDM, and Z - Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceed

Derrick, John; Fitzgerald, John; Gnesi, Stefania; Khurshid, Sarfraz; Leuschel, Michael; Reeves, Steve; Riccobene, Elvinia
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
2012
Pehmeäkantinen kirja

51,10 €

Critical Systems: Formal Methods and Automated Verification - Joint 21st International Workshop on Formal Methods for Industrial

ter Beek, Maurice H.; Gnesi, Stefania; Knapp, Alexander
Springer International Publishing AG
2016
Pehmeäkantinen kirja

51,10 €

FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings

Fitzgerald, John; Heitmeyer, Constance; Gnesi, Stefania; Philippou, Anna
Springer International Publishing AG
2016
Pehmeäkantinen kirja

51,10 €

Requirements Engineering: Foundation for Software Quality - 26th International Working Conference, REFSQ 2020, Pisa, Italy, Marc

Madhavji, Nazim; Pasquale, Liliana; Ferrari, Alessio; Gnesi, Stefania
Springer Nature Switzerland AG
2020
Pehmeäkantinen kirja

51,10 €

Journeys Between Formal Methods and the Railway Industry - Essays Dedicated to Alessandro Fantechi on the Occasion of His 70th B

ter Beek, Maurice H.; Gnesi, Stefania; Haxthausen, Anne E.; Semini, Laura
Springer Nature Switzerland AG
2026
Pehmeäkantinen kirja

98,90 €