Barnes and Noble
Formal Techniques for Networked and Distributed Systems - FORTE 2006: 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006, Proceedings / Edition 1
Unfortunately, this item is no longer available, but we found some similar items you might like.