دانلود کتاب Formal Methods for Open Object-Based Distributed Systems: 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005. Proceedings
by Rocco De Nicola
|
عنوان فارسی: روش رسمی برای گسترش سیستم توزیع شی بر اساس: 7 IFIP WG 6.1 کنفرانس بین المللی، FMOODS 2005، آتن، یونان، 15-17 ژوئن، 2005. مجموعه مقالات |