دانلود کتاب Formal Techniques for Networked and Distributed Systems – FORTE 2004: 24th IFIP WG 6.1 International Conference, Madrid Spain, September 27-30, 2004. Proceedings
by Martín Abadi
|
عنوان فارسی: تکنیک های رسمی برای شبکه و سیستم های توزیع - FORTE 2004: 24 IFIP WG 6.1 کنفرانس بین المللی، مادرید اسپانیا، سپتامبر 27-30، 2004. مجموعه مقالات |