wg61

تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده: FORTE 2001: IFIP TC6 WG6.1، بیست و یکمین کنفرانس بین المللی تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده، 28-31 اوت، 20 نویسنده: میونگچول کیم

دانلود کتاب 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 (به فارسی: تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده: FORTE 2001: IFIP TC6 WG6.1، بیست و یکمین کنفرانس بین المللی تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده، 28-31 اوت، 20 نویسنده: میونگچول کیم) نوشته شده توسط «Myungchul Kim – Byoungmoon Chin – Sungwon Kang – Danhyung Lee» اطلاعات کتاب تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده: FORTE 2001:…