دانلود کتاب 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

Name: 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
Availability: InStock
Author: Susanne Graf
ISBN: 9783319191942, 9783319191959

by Susanne Graf

عنوان فارسی: تکنیک های رسمی برای اشیاء توزیع ، اجزا و سیستم های : 35 IFIP WG 6.1 کنفرانس بین المللی، FORTE 2015 ، برگزار شد به عنوان بخشی از 10 کنفرانس بین المللی فدرال در تکنیک های محاسبات توزیع شده، DisCoTec 2015 ، گرنوبل فرانسه ، ژوئن 2-4، 2015 ، مجموعه مقالات
ناشر: Springer International Publishing
سال: 2015
ویرایش: 1
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 245
شابک: 9783319191942, 9783319191959
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 6.00 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

This book constitutes the proceedings of the 35th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2015, held in Grenoble, France, in June 2015, as part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015. The 15 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers present a wide range of topics on distributed computing models and formal specification, testing, and verification methods.

گزارش اشکال ⚠