دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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
دانلود کتاب تکنیک های رسمی برای اشیاء ، مؤلفه ها و سیستم های توزیع شده: 34مین کنفرانس بین المللی IFIP WG 6.1 ، FORTE 2014 ، به عنوان بخشی از نهمین کنفرانس بین المللی فدرال در مورد تکنیک های محاسبات توزیع شده ، DisCoTec 2014 ، برلین ، آلمان ، 3-5 ژوئن ، 2014 برگزار می شود. مجموعه مقالات
مشخصات کتاب
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
ویرایش: [1 ed.]
نویسندگان: Erika Ábrahám. Catuscia Palamidessi (eds.)
سری: Lecture Notes in Computer Science 8461 Programming and Software Engineering
ISBN (شابک) : 9783662436127, 9783662436134
ناشر: Springer-Verlag Berlin Heidelberg
سال نشر: 2014
تعداد صفحات: 301
[312]
زبان: English
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود)
حجم فایل: 5 Mb
قیمت کتاب (تومان) : 29,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
در صورت تبدیل فایل کتاب 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 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تکنیک های رسمی برای اشیاء ، مؤلفه ها و سیستم های توزیع شده: 34مین کنفرانس بین المللی IFIP WG 6.1 ، FORTE 2014 ، به عنوان بخشی از نهمین کنفرانس بین المللی فدرال در مورد تکنیک های محاسبات توزیع شده ، DisCoTec 2014 ، برلین ، آلمان ، 3-5 ژوئن ، 2014 برگزار می شود. مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تکنیک های رسمی برای اشیاء ، مؤلفه ها و سیستم های توزیع شده: 34مین کنفرانس بین المللی IFIP WG 6.1 ، FORTE 2014 ، به عنوان بخشی از نهمین کنفرانس بین المللی فدرال در مورد تکنیک های محاسبات توزیع شده ، DisCoTec 2014 ، برلین ، آلمان ، 3-5 ژوئن ، 2014 برگزار می شود. مجموعه مقالات
این کتاب مجموعه مقالات سی و چهارمین کنفرانس بین المللی IFIP WG 6.1 در تکنیک های رسمی برای اشیاء، اجزا و سیستم های توزیع شده، FORTE 2014، در برلین، آلمان، در ژوئن 2014، به عنوان بخشی از نهمین کنفرانس فدرال بین المللی در مورد توزیع شده است. Computing Techniques، DisCoTec 2014. 18 مقاله کامل اصلاح شده ارائه شده به دقت بررسی و از 50 مورد ارسالی انتخاب شدند. این مقالات طیف گسترده ای از موضوعات را در مورد زبان های مشخصات و سیستم های نوع، نظارت و آزمایش، تجزیه و تحلیل امنیتی و شبیه سازی، انتزاع و کاهش ارائه می دهند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the proceedings of the 34th IFIP WG 6.1 International Conference on Formal Techniques for Distributed Objects, Components and Systems, FORTE 2014, held in Berlin, Germany, in June 2014, as part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014. The 18 revised full papers presented were carefully reviewed and selected from 50 submissions. The papers present a wide range of topics on specification languages and type systems, monitoring and testing, security analysis and bisimulation, abstraction and reduction.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Cultural dynamics in a globalized world : proceedings of the Asia-Pacific Research in Social Sciences and Humanities, Depok, Indonesia, November 7-9, 2016: topics in arts and humanities
دانلود کتاب Micromechanics and Nanosimulation of Metals and Composites: Advanced Methods and Theoretical Concepts
