Zoeken

U zocht naar: Auteur Gnesi, Stefania Filter Auteur: Gnesi, Stefania weghalen Taal Engels Filter Taal: Engels weghalen
1 - 6 van 6
Aantal zoekresultaten per pagina

Zoekresultaten

1. Critical Systems: Formal Methods and Automated Verification
thumbnail
Full text!
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
thumbnail
Full text!
Auteur:
Fitzgerald; Gnesi, Stefania; Heitmeyer, Constance; Philippou, Anna
Uitgever:
Springer International Publishing 2016
Type:
e-book
3. Requirements Engineering: Foundation for Software Quality
thumbnail
Full text!
Auteur:
Madhavji; Ferrari, Alessio; Gnesi, Stefania; Pasquale, Liliana
Uitgever:
Springer International Publishing 2020
Type:
e-book
4. Integrated Formal Methods
thumbnail
Full text!
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
thumbnail
Full text!
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
thumbnail
Full text!
Auteur:
Stefania Gnesi, Arend Rensink; Rensink, Arend
Uitgever:
Springer Berlin Heidelberg 2014
Type:
e-book