Software Engineering and Formal Methods (2015)
ComputerThis book constitutes the refereed proceedings of the 13th International Conference on Software Engi…
Radu Calinescu
Radu Calinescu ist auf Book-Sharing mit 5 Büchern vertreten, besonders in Computer. Häufig aufgerufene Einträge sind Software Engineering and Formal Methods, Large-Scale Complex IT Systems. Development, Operation and Management.
Large-Scale Complex IT Systems. Development, Operation and Management (2012)
ComputerThis book presents the thoroughly refereed and revised post-workshop proceedings of the 17th Montere…
Foundations of Computer Software (2011)
ComputerThis book presents the thoroughly refereed and revised post-workshop proceedings of the 16th Montere…
Software Engineering and Formal Methods (2021)
ComputerThis book constitutes the refereed proceedings of the 19th International Conference on Software Engi…
Software Engineering for Resilient Systems (2019)
ComputerThis book constitutes the refereed proceedings of the 11th International Workshop on Software Engine…