Zoeken

U zocht naar: Auteur Radu Calinescu Filter Auteur: Radu Calinescu weghalen
1 - 3 van 3
Aantal zoekresultaten per pagina

Zoekresultaten

1. Software Engineering and Formal Methods
thumbnail
Full text!
Auteur:
Radu Calinescu; Păsăreanu, Corina S.
Uitgever:
Springer International Publishing 2021
Type:
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!
Auteur:
Bianculli; Calinescu, Radu; Rumpe, Bernhard
Uitgever:
Springer Berlin Heidelberg 2015
Type:
e-book
3. 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