Hoppa till sidans huvudinnehåll

Radu Calinescu - Böcker

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, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar

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 m. fl

Häftad, Engelska, 2021

1 169 kr

Skickas inom 10-15 vardagar

Software Engineering and Formal Methods

13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Av Radu 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

Av Radu 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

Av Radu 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

Av Domenico Bianculli, Radu Calinescu m. fl

Häftad, Engelska, 2016

709 kr

Skickas inom 10-15 vardagar