Books by Radu Calinescu
Large-Scale Complex IT Systems. Development, Operation and Management
2012
Software Engineering and Formal Methods : SEFM 2015 Collocated Workshops
2016
Software Engineering and Formal Methods
2015
Foundations of Computer Software
Foundations of Computer Software
2011
Can't find the book you're looking for? Let us know — it helps us improve.