دانلود کتاب Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

توضیحاتی در مورد کتاب Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings

نام کتاب : Formal Techniques for Distributed Objects, Components, and Systems: 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings
ویرایش : 1 ed.
عنوان ترجمه شده به فارسی : تکنیک‌های رسمی برای اشیاء، اجزا و سیستم‌های توزیع‌شده: سی و پنجمین کنفرانس بین‌المللی IFIP WG 6.1، FORTE 2015، به عنوان بخشی از دهمین کنفرانس فدرال بین‌المللی تکنیک‌های محاسباتی توزیع‌شده، DisCoTec 2015، 2015 ژوئن 2015، گرنوبل، فرانسه، گرنوبل، پرو،
سری : Lecture Notes in Computer Science 9039
نویسندگان : Susanne Graf, Mahesh Viswanathan (eds.)
ناشر : Springer International Publishing
سال نشر : 2015
تعداد صفحات : 245 [250]
ISBN (شابک) : 9783319191942 , 9783319191959
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 6 Mb