Radu C. Calinescu
4 published titles
Architecture-independent loop parallelisation
1 edition
- ISBN: 1852332840
- Springer
- 2000
- Details
Foundations of computer software : modeling, development, and verification of adaptive systems : 16th Monterey Workshop 2010, Redmond, WA, USA, March 31-April 2 2010 : revised selected papers
(Contributor)
1 edition
- ISBN: 9783642212918
- Springer
- 2011
- Details
Large-scale complex it systems : development, operation and management : 17th Monterey Workshop 2012, Oxford, UK, March 19-21 2012 : revised selected papers
(Contributor)
1 edition
- ISBN: 9783642340581
- Springer
- 2012
- Details
Software engineering and formal methods : 13th international conference, SEFM 2015, York, UK, September 7-11, 2015 : proceedings
(Contributor)
1 edition
- ISBN: 9783319229683
- Springer
- 2015
- Details
