دانلود کتاب Formal Methods for Open Object-Based Distributed Systems: 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006. Proceedings
by Massimo Bartoletti
|
عنوان فارسی: روش رسمی برای گسترش سیستم های توزیع شده شی بر اساس: 8 IFIP WG 6.1 کنفرانس بین المللی، FMOODS 2006، بولونیا، ایتالیا، 14-16 ژوئن، 2006. مجموعه مقالات |