دانلود کتاب Formal Techniques for Distributed Objects, Components, and Systems: 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings
by Erika Ábrahám
|
عنوان فارسی: تکنیک های رسمی برای اشیاء توزیع، اجزا و سیستم های: 34 IFIP WG 6.1 کنفرانس بین المللی، FORTE 2014، به عنوان بخشی از 9 کنفرانس بین المللی فدرال در تکنیک های محاسبات توزیع شده برگزار شد، DisCoTec 2014، برلین، آلمان، 03-05 ژوئن، 2014. مجموعه مقالات |