bib.howest.be Zoekresultaten

U zocht naar: Auteur Calinescu

1 - 5 van 5

1. Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Auteur:: Calinescu; Rumpe, Bernhard
Uitgever:: Springer International Publishing 2015
Type:: e-book

2. Software Engineering for Resilient Systems

Auteur:: Calinescu; Di Giandomenico, Felicita
Uitgever:: Springer International Publishing 2019
Type:: e-book

3. Software Engineering and Formal Methods

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

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

Auteur:: Calinescu, Radu; Jackson, Ethan; Kanade, Takeo; Kittler, Josef
Uitgever:: Springer Berlin Heidelberg 2011
Type:: e-book