bib.howest.be Zoekresultaten

U zocht naar: Auteur Gnesi, Stefania

1 - 6 van 6

1. Critical Systems: Formal Methods and Automated Verification

Auteur:: Beek, Maurice H. ter. Gnesi, Stefania. Knapp, Alexander.; Gnesi, Stefania; Knapp, Alexander
Uitgever:: Springer International Publishing 2016
Type:: e-book

2. FM 2016: Formal Methods

Auteur:: Fitzgerald; Gnesi, Stefania; Heitmeyer, Constance; Philippou, Anna
Uitgever:: Springer International Publishing 2016
Type:: e-book

3. Requirements Engineering: Foundation for Software Quality

Auteur:: Madhavji; Ferrari, Alessio; Gnesi, Stefania; Pasquale, Liliana
Uitgever:: Springer International Publishing 2020
Type:: e-book

4. Integrated Formal Methods

Auteur:: Hutchison, David; Kanade, Takeo; Gnesi, Stefania; Latella, Diego; Treharne, Helen
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

5. Abstract State Machines, Alloy, B, VDM, and Z

Auteur:: Hutchison, David; Kanade, Takeo; Fitzgerald, John; Gnesi, Stefania; Khurshid, Sarfraz; Leuschel, Michael; Reeves, Steve; Riccobene, Elvinia
Uitgever:: Springer Berlin Heidelberg 2012
Type:: e-book

6. Fundamental Approaches to Software Engineering

Auteur:: Stefania Gnesi, Arend Rensink; Rensink, Arend
Uitgever:: Springer Berlin Heidelberg 2014
Type:: e-book