Dal Lago, Ugo books & textbook
Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers (Programming and Software Engineering)
van Eekelen, Marko Dal Lago, Ugo
Springer /2016-09-27 Paperback / 136 Pages
isbn-10: 3319465589 / isbn-13: 9783319465586
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint ... Computer Science and General Issues)
Springer /2018-04-14 Paperback / 598 Pages
isbn-10: 3319893653 / isbn-13: 9783319893655
Foundational and Practical Aspects of Resource Analysis: Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised Selected Papers (Programming and Software Engineering)
Springer /2014-11-06 Paperback / 170 Pages
isbn-10: 331912465X / isbn-13: 9783319124650
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint ... Greece, April 14-20, 2018. Proceedings
Saint Philip Street Press /2020-10-08 Hardcover / 586 Pages
isbn-10: 1013269438 / isbn-13: 9781013269431
