Radu Calinescu – författare

Visar alla böcker från författaren Radu Calinescu.

6 produkter

Kategorier

6 produkter

Del 11732
Del 11732 - Lecture Notes in Computer Science
Software Engineering for Resilient Systems
11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings
AvRadu Calinescu,Felicita Di Giandomenico
Häftad, Engelska, 2019
729 kr
Skickas inom 10-15 vardagar
Del 13085
Del 13085 - Lecture Notes in Computer Science
Software Engineering and Formal Methods
19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings
AvRadu Calinescu,Corina S. Păsăreanu
Häftad, Engelska, 2021
1 169 kr
Skickas inom 10-15 vardagar
Del 9276
Del 9276 - Lecture Notes in Computer Science
Software Engineering and Formal Methods
13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
AvRadu Calinescu,Bernhard Rumpe
Häftad, Engelska, 2015
729 kr
Skickas inom 10-15 vardagar
Foundations of Computer Software
Modeling, Development, and Verification of Adaptive Systems 16th Monterey Workshop 2010, Redmond, USA, WA, USA, March 31--April 2, Revised Selected Papers
AvRadu Calinescu,Ethan Jackson
Häftad, Engelska, 2011
729 kr
Skickas inom 10-15 vardagar
Large-Scale Complex IT Systems. Development, Operation and Management
17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers
AvRadu Calinescu,David Garlan
Häftad, Engelska, 2012
729 kr
Skickas inom 10-15 vardagar
Software Engineering and Formal Methods
SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
AvDomenico Bianculli,Radu Calinescum. fl.
Häftad, Engelska, 2016
729 kr
Skickas inom 10-15 vardagar