Hoppa till sidans huvudinnehåll

Radu Calinescu – författare

Visar alla böcker från författaren Radu Calinescu.
6 produkter
Radu Calinescu, Felicita Di Giandomenico - Software Engineering for Resilient Systems, Häftad
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

Radu Calinescu, Corina S. Păsăreanu - Software Engineering and Formal Methods, Häftad

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 159 kr

Skickas inom 10-15 vardagar

Radu Calinescu, Bernhard Rumpe - Software Engineering and Formal Methods, Häftad
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

Radu Calinescu, Ethan Jackson - Foundations of Computer Software, Häftad

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

Radu Calinescu, David Garlan - Large-Scale Complex IT Systems. Development, Operation and Management, Häftad

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

Domenico Bianculli, Radu Calinescu, Bernhard Rumpe - Software Engineering and Formal Methods, Häftad

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