CURRENTLY SOLD OUT

Formal Techniques for Networked and Distributed Systems: FORTE 2001 by Myungchul Kim (Hardback, 2001)