دانلود کتاب Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
کتاب تکنیک های رسمی برای سیستم های توزیع شده: دوازدهمین کنفرانس بین المللی IFIP WG 6.1 ، FMOODS 2010 و سی امین کنفرانس بین المللی IFIP WG 6.1 ، Forte 2010 ، آمستردام ، هلند ، 7-9 ژوئن 2010. مجموعه مقالات نسخه زبان اصلی
دانلود کتاب تکنیک های رسمی برای سیستم های توزیع شده: دوازدهمین کنفرانس بین المللی IFIP WG 6.1 ، FMOODS 2010 و سی امین کنفرانس بین المللی IFIP WG 6.1 ، Forte 2010 ، آمستردام ، هلند ، 7-9 ژوئن 2010. مجموعه مقالات بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
نام کتاب : Formal Techniques for Distributed Systems: Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings
ویرایش : 1 ed.
عنوان ترجمه شده به فارسی : تکنیک های رسمی برای سیستم های توزیع شده: دوازدهمین کنفرانس بین المللی IFIP WG 6.1 ، FMOODS 2010 و سی امین کنفرانس بین المللی IFIP WG 6.1 ، Forte 2010 ، آمستردام ، هلند ، 7-9 ژوئن 2010. مجموعه مقالات
سری : Lecture Notes in Computer Science 6117 : Programming and Software Engineering
نویسندگان : Gerard J. Holzmann (auth.), John Hatcliff, Elena Zucca (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2010
تعداد صفحات : 233
[244]
ISBN (شابک) : 9783642134647 , 3642134645
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 3 Mb
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
این کتاب مجموعه مقالات داوری دوازدهمین کنفرانس بین‌المللی IFIP WG 6.1 در مورد روش‌های رسمی برای سیستم‌های توزیع شده مبتنی بر شی باز، FMOODS 2010، و سی‌امین تکنیک‌های رسمی IFIP WG 6.1 برای سیستم‌های شبکه‌ای و توزیع‌شده، در Am2010TE، برگزار شد. هلند، در ژوئن 2010. 13 مقاله کامل اصلاح شده همراه با 6 مقاله کوتاه و چکیده یک سخنرانی دعوت شده به دقت بررسی و از بین 38 مقاله ارسالی انتخاب شدند. مقالات در بخش های موضوعی در مورد مدل سازی رسمی UML سازماندهی شده اند. اجزاء و معماری؛ جبر فرآیند زماندار؛ اتوماتای زماندار و هیبریدی؛ منطق و تحلیل برنامه؛ و استدلال در مورد سیستم های توزیع شده.
توضیحاتی در مورد کتاب به زبان اصلی :
This book constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2010, and the 30th IFIP WG 6.1 Formal Techniques for Networked and Distributed Systems, FORTE 2010, held in Amsterdam, The Netherlands, in June 2010. The 13 revised full papers presented together with 6 short papers and the abstract of one invited talk were carefully reviewed and selected from 38 submissions. The papers are organized in topical sections on formal UML modeling; components and architecture; timed process algebra; timed and hybrid automata; program logics and analysis; and reasoning about distributed systems.
پست ها تصادفی