Formal Techniques for Networked and Distributed Systems - FORTE 2005 Programming and Software Engineering
Farn Wang
Paperback
Not Available