دانلود کتاب 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, 2001
by Myungchul Kim
|
عنوان فارسی: تکنیک های رسمی برای سیستم های شبکه ای و توزیع: FORTE 2001: IFIP TC6 کنفرانس بین المللی WG6.1--21st در تکنیک های رسمی برای شبکه و سیستم های توزیع شده، 28-31 اوت، 2001 |