Software Engineering and Formal Methods (2015)
ComputerThis book constitutes the refereed proceedings of the 13th International Conference on Software Engi…
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.
This book constitutes the refereed proceedings of the 13th International Conference on Software Engi…
This book presents the thoroughly refereed and revised post-workshop proceedings of the 17th Montere…
This book presents the thoroughly refereed and revised post-workshop proceedings of the 16th Montere…
This book constitutes the refereed proceedings of the 19th International Conference on Software Engi…
This book constitutes the refereed proceedings of the 11th International Workshop on Software Engine…