ISBN 1475788258 books & textbook
Formal Techniques for Networked and Distributed Systems: FORTE 2001 (IFIP Advances in Information and Communication Technology)
Myungchul Kim Byoungmoon Chin Sungwon Kang Danhyung Lee
Springer /2013-06-22 Paperback / 480 Pages
isbn-10: 1475788258 / isbn-13: 9781475788259
