ISBN 9783540201755 books & textbook
Formal Techniques for Networked and Distributed Systems - FORTE 2003: 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29 -- ... (Lecture Notes in Computer Science, 2767)
König, Hartmut Heiner, Monika Wolisz, Adam
Springer /2003-09-23 Paperback / 441 Pages
isbn-10: 3540201750 / isbn-13: 9783540201755
