Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th ... June (Lecture Notes in Computer Science)
by Christel Baier,Luís Caires
ISBN 13: 9783319926117
Format: Paperback (212 pages) Publisher: Springer Published: 30 May 2018
Save for later
Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and ... 11423 (Lecture Notes in Computer Science)
by Luís Caires
ISBN 13: 9783030171834
Format: Paperback (834 pages) Publisher: Springer Published: 06 Apr 2019
Programming Languages and Systems
ISBN 13: 9781013271243
Format: Paperback (820 pages) Publisher: Saint Philip Street Press Published: 08 Oct 2020
ISBN 13: 9781013271250
Format: Hardcover (820 pages) Publisher: Saint Philip Street Press Published: 08 Oct 2020