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

AvRadu Calinescu,Felicita Di Giandomenico

Häftad, Engelska, 2019

709 kr

Skickas inom 10-15 vardagar

Software Engineering and Formal Methods

19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings

AvRadu Calinescu,Corina S. Păsăreanu m. fl.

Häftad, Engelska, 2021

1 129 kr

Skickas inom 10-15 vardagar

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

709 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

709 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

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

Häftad, Engelska, 2016

689 kr

Skickas inom 10-15 vardagar