Search

You searched for: Auteur Giannakopoulou Remove constraint Auteur: Giannakopoulou
1 - 4 of 4
Number of results to display per page

Search Results

1. Software Engineering and Formal Methods
thumbnail
Full text!
Author:
Giannakopoulou; Salaün, Gwen
Publisher:
Springer International Publishing 2014
Format:
e-book
2. Verified Software: Theories, Tools and Experiments
thumbnail
Full text!
Author:
Giannakopoulou; Kroening, Daniel
Publisher:
Springer International Publishing 2014
Format:
e-book
3. NASA Formal Methods
thumbnail
Full text!
Author:
Lee; Giannakopoulou, Dimitra; Jha, Susmit; Mavridou, Anastasia
Publisher:
Springer International Publishing 2020
Format:
e-book
4. Fundamental Approaches to Software Engineering
thumbnail
Full text!
Author:
Giannakopoulou, Dimitra; Kanade, Takeo; Orejas, Fernando; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2011
Format:
e-book