Formal Techniques for Distributed Objects, Components, and Systems 2 contributors - Paperback £44.99 Find out more
Reversible Computation: Extending Horizons of Computing 4 contributors - Paperback £34.99 Find out more