Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015, London, UK, April 11, 2015. Revised Selected Papers: 9964 (Lecture Notes in Computer Science)
by Marko van Eekelen,Ugo Dal Lago
ISBN 13: 9783319465586
Format: Paperback (140 pages) Publisher: Springer Published: 27 Sep 2016
Save for later
Foundational and Practical Aspects of Resource Analysis: Third International Workshop, FOPARA 2013, Bertinoro, Italy, August 29-31, 2013, Revised ... 8552 (Lecture Notes in Computer Science)
by Ugo Dal Lago,Ricardo Peña
ISBN 13: 9783319124650
Format: Paperback (172 pages) Publisher: Springer Published: 06 Nov 2014
Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint ... 10803 (Lecture Notes in Computer Science)
by Christel Baier,Ugo Dal Lago
ISBN 13: 9783319893655
Format: Paperback (600 pages) Publisher: Springer Published: 14 Apr 2018
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
ISBN 13: 9781013269424
Format: Paperback (586 pages) Publisher: Saint Philip Street Press Published: 08 Oct 2020
ISBN 13: 9781013269431
Format: Hardcover (586 pages) Publisher: Saint Philip Street Press Published: 08 Oct 2020