ISBN 354029189X books & textbook
Formal Techniques for Networked and Distributed Systems - FORTE 2005: 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, ... (Lecture Notes in Computer Science, 3731)
Springer /2005-09-26 Paperback / 570 Pages
isbn-10: 354029189X / isbn-13: 9783540291893
