دانلود کتاب Formal techniques for networked and distributed systems: FORTE 2001: IFIP TC6 WG6.1, 21st International Conference on Formal Techniques for Networked and Distributed Systems, August 28-31, 20Author: Myungchul Kim
by Myungchul Kim
|
عنوان فارسی: تکنیک های رسمی برای سیستم های شبکه ای و توزیع: FORTE 2001: IFIP TC6 WG6.1، کنفرانس بین المللی 21 در تکنیک های رسمی برای شبکه و سیستم های توزیع شده، 28-31 اوت، 20Author: Myungchul کیم |