Reversible Computation: 8th International Conference, RC 2016, Bologna, Italy, July 7-8, 2016, Proceedings: 9720 (Lecture Notes in Computer Science)
by Simon Devitt, Ivan Lanese
ISBN 13: 9783319405773
Format: Paperback (356 pages) Publisher: Springer Published: 30 Jun 2016
Save for later
Formal Techniques for Distributed Objects, Components, and Systems: 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th ... G: 9688 (Lecture Notes in Computer Science)
by Elvira Albert, Ivan Lanese
ISBN 13: 9783319395692
Format: Paperback (292 pages) Publisher: Springer Published: 27 Jun 2016