Radu Calinescu – författare
Visar alla böcker från författaren Radu Calinescu.
6 produkter
Software Engineering for Resilient Systems
11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings
Av Radu Calinescu, Felicita Di Giandomenico
Häftad, 2019
739 kr
Lägg i varukorg
Software Engineering and Formal Methods
19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings
Av Radu Calinescu, Corina S. Păsăreanu
Häftad, 2021
1179 kr
Lägg i varukorg
Software Engineering and Formal Methods
13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
Av Radu Calinescu, Bernhard Rumpe
Häftad, 2015
739 kr
Lägg i varukorg
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
Av Radu Calinescu, Ethan Jackson
Häftad, 2011
739 kr
Lägg i varukorg
Large-Scale Complex IT Systems. Development, Operation and Management
17th Monterey Workshop 2012, Oxford, UK, March 19-21, 2012, Revised Selected Papers
Av Radu Calinescu, David Garlan
Häftad, 2012
739 kr
Lägg i varukorg
Software Engineering and Formal Methods
SEFM 2015 Collocated Workshops: ATSE, HOFM, MoKMaSD, and VERY*SCART, York, UK, September 7-8, 2015. Revised Selected Papers
Av Domenico Bianculli, Radu Calinescu m. fl.
Häftad, 2016
739 kr
Lägg i varukorg