CURRENTLY SOLD OUT

Formal Techniques for Distributed Systems by Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (Paperback, 2012)