Search

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

Search Results

1. Software Engineering and Formal Methods
thumbnail
Full text!
Author:
Radu Calinescu; Păsăreanu, Corina S.
Publisher:
Springer International Publishing 2021
Format:
e-book
2. 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
3. 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