Zoeken

U zocht naar: Auteur Calinescu Filter Auteur: Calinescu weghalen Type e-book Filter Type: e-book weghalen
1 - 5 van 5
Aantal zoekresultaten per pagina

Zoekresultaten

1. Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
thumbnail
Full text!
Auteur:
Calinescu; Rumpe, Bernhard
Uitgever:
Springer International Publishing 2015
Type:
e-book
2. Software Engineering for Resilient Systems
thumbnail
Full text!
Auteur:
Calinescu; Di Giandomenico, Felicita
Uitgever:
Springer International Publishing 2019
Type:
e-book
3. Software Engineering and Formal Methods
thumbnail
Full text!
Auteur:
Radu Calinescu; Păsăreanu, Corina S.
Uitgever:
Springer International Publishing 2021
Type:
e-book
4. Software Engineering and Formal Methods: SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
thumbnail
Full text!
Auteur:
Bianculli; Calinescu, Radu; Rumpe, Bernhard
Uitgever:
Springer Berlin Heidelberg 2015
Type:
e-book
5. Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems
thumbnail
Full text!
Auteur:
Calinescu, Radu; Jackson, Ethan; Kanade, Takeo; Kittler, Josef
Uitgever:
Springer Berlin Heidelberg 2011
Type:
e-book