Search

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

Search Results

1. Software Engineering and Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
thumbnail
Full text!
Author:
Calinescu; Rumpe, Bernhard
Publisher:
Springer International Publishing 2015
Format:
e-book
2. Software Engineering for Resilient Systems
thumbnail
Full text!
Author:
Calinescu; Di Giandomenico, Felicita
Publisher:
Springer International Publishing 2019
Format:
e-book
3. Software Engineering and Formal Methods
thumbnail
Full text!
Author:
Radu Calinescu; Păsăreanu, Corina S.
Publisher:
Springer International Publishing 2021
Format:
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!
Author:
Bianculli; Calinescu, Radu; Rumpe, Bernhard
Publisher:
Springer Berlin Heidelberg 2015
Format:
e-book
5. Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems
thumbnail
Full text!
Author:
Calinescu, Radu; Jackson, Ethan; Kanade, Takeo; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2011
Format:
e-book