Tools and Algorithms for the Construction and Analysis of Systems : 27th International Conference, TACAS 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS
Jan Friso Groote
Download - Immediately Available
Format: eBook (PDF)
Programming Languages and Systems : 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, L
Nobuko Yoshida
Download - Immediately Available
Format: eBook (PDF)
Benefit/Cost-Driven Software Development : With Benefit Points and Size Points
Jo Erskine Hannay
Download - Immediately Available
Format: eBook (PDF)
Ernst Denert Award for Software Engineering 2020 : Practice Meets Foundations
Michael Felderer
Download - Immediately Available
Format: eBook (PDF)