Calinescu, Radu. - ECU Libraries Catalog

Preview Version: You're viewing our new catalog design. Share your feedback or return to the current catalog.

Did you mean: călinescu or rada or raku or ramu or rado or ratu

Start Over

You searched for: author Calinescu, Radu.

Showing 1 - 5 of 5 results

Search Results

Cover image for Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings

by Calinescu, Radu
2015
1st ed. 2015
Format: Electronic

Location
Access Content Online

Cover image for Software Engineering for Resilient Systems 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings

Software Engineering for Resilient Systems 11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings

by Calinescu, Radu
2019
1st ed. 2019
Format: Electronic

Location
Access Content Online

Cover image for Software Engineering and Formal Methods 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings

Software Engineering and Formal Methods 19th International Conference, SEFM 2021, Virtual Event, December 6-10, 2021, Proceedings

by Calinescu, Radu
2021
1st ed. 2021
Format: Electronic

Location
Access Content Online

Cover image for Large-scale complex IT systems

Large-scale complex IT systems

by Monterey Workshop
2012
Format: Electronic

Location
Access Content Online

Cover image for Software Engineering and Formal Methods SEFM 2015 Collocated Workshops

Software Engineering and Formal Methods SEFM 2015 Collocated Workshops

by Bianculli, Domenico
2015
1st ed. 2015
Format: Electronic

Location
Access Content Online