Radu Calinescu - Böcker
Software Engineering for Resilient Systems
11th International Workshop, SERENE 2019, Naples, Italy, September 17, 2019, Proceedings
719 kr
Skickas inom 10-15 vardagar
Software Engineering and Formal Methods
19th International Conference, SEFM 2021, Virtual Event, December 6–10, 2021, Proceedings
1 139 kr
Skickas inom 10-15 vardagar
Software Engineering and Formal Methods
13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings
719 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
719 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
719 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
719 kr
Skickas inom 10-15 vardagar