Software Engineering and
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 Sy
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 S
Foundations of Computer Software (2011)
ComputerThis book presents the thoroughly refereed and revised post-workshop proceedings of the 16th Montere…
Software Engineering and
Software Engineering and Formal Methods (2021)
ComputerThis book constitutes the refereed proceedings of the 19th International Conference on Software Engi…
Software Engineering for
Software Engineering for Resilient Systems (2019)
ComputerThis book constitutes the refereed proceedings of the 11th International Workshop on Software Engine…