دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Formal Techniques for Networked and Distributed Systems – FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
دانلود کتاب تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده - FORTE 2008: بیست و هشتمین کنفرانس بین المللی IFIP WG 6.1 توکیو، ژاپن، 10-13 ژوئن، 2008 مجموعه مقالات
مشخصات کتاب
Formal Techniques for Networked and Distributed Systems – FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings
ویرایش: [1 ed.] نویسندگان: Ethan K. Jackson, Wolfram Schulte (auth.), Kenji Suzuki, Teruo Higashino, Keiichi Yasumoto, Khaled El-Fakih (eds.) سری: Lecture Notes in Computer Science 5048 : Programming and Software Engineering ISBN (شابک) : 3540688544, 9783540688549 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2008 تعداد صفحات: 344 [350] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 Mb
قیمت کتاب (تومان) : 48,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
در صورت تبدیل فایل کتاب Formal Techniques for Networked and Distributed Systems – FORTE 2008: 28th IFIP WG 6.1 International Conference Tokyo, Japan, June 10-13, 2008 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده - FORTE 2008: بیست و هشتمین کنفرانس بین المللی IFIP WG 6.1 توکیو، ژاپن، 10-13 ژوئن، 2008 مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده - FORTE 2008: بیست و هشتمین کنفرانس بین المللی IFIP WG 6.1 توکیو، ژاپن، 10-13 ژوئن، 2008 مجموعه مقالات
این کتاب مجموعه مقالات داوری بیست و هشتمین کنفرانس بین المللی IFIP WG 6.1 در تکنیک های رسمی برای سیستم های شبکه ای و توزیع شده، FORTE 2008، در توکیو، ژاپن، در ژوئن 2008 با مشارکت TestCom/FATES 2008 است.
19 مقاله کامل اصلاح شده و 1 مقاله کوتاه اصلاح شده ارائه شده همراه با 1 سخنرانی دعوت شده با دقت بررسی و از بین 44 مقاله ارسالی انتخاب شدند. این مقالات رویکردها، مفاهیم و تجربیات جدیدی را در کاربرد روش‌های رسمی برای مشخصات و تأیید سیستم‌ها و برنامه‌های کاربردی پوشش می‌دهند. تمرکز ویژه بر روی سیستم‌های محاسباتی همه‌جا، شبکه‌ای و سیار و همچنین کاربرد تکنیک‌های رسمی برای معماری‌های سرویس‌گرا و همچنین مسائل امنیتی در سیستم‌های شبکه‌ای است. مقالات در بخش‌های موضوعی در مورد انتزاع، تأیید، چارچوب مشخصات، کاربرد، تئوری و قابلیت اطمینان سیستم‌های شبکه‌ای سازمان‌دهی شده‌اند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2008, held in Tokyo, Japan, in June 2008 co-located with TestCom/FATES 2008.
The 19 revised full papers and 1 revised short paper presented together with 1 invited talk were carefully reviewed and selected from 44 submissions. The papers cover new approaches, concepts and experience in the application of formal methods for the specification and verification of distributed systems and applications. Special focus is put on ubiquitous, grid, and mobile computing systems, and also on the application of formal techniques to service oriented architectures as well as security issues in networked systems. The papers are organized in topical sections on abstraction, verification, specification framework, application, theory, and reliability of networked systems.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Oracle VM VirtualBox User Manual
دانلود کتاب Breakeven Analysis: The Definitive Guide to Cost-Volume-Profit Analysis, Second Edition
