دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers
دانلود کتاب تایید زمان اجرا: هشتمین کارگاه بین المللی، RV 2008، بوداپست، مجارستان، 30 مارس 2008. مقالات منتخب
مشخصات کتاب
Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers
ویرایش: 1 نویسندگان: Jean Goubault-Larrecq, Julien Olivain (auth.), Martin Leucker (eds.) سری: Lecture Notes in Computer Science 5289 : Programming and Software Engineering ISBN (شابک) : 354089246X, 9783540892465 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2008 تعداد صفحات: 194 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 32,000
کلمات کلیدی مربوط به کتاب تایید زمان اجرا: هشتمین کارگاه بین المللی، RV 2008، بوداپست، مجارستان، 30 مارس 2008. مقالات منتخب: مهندسی نرم افزار، عملکرد و قابلیت اطمینان، زبان های برنامه نویسی، کامپایلرها، مترجمان، عملکرد و ارزیابی سیستم، تحلیل الگوریتم و پیچیدگی مسائل، منطق و معانی برنامه ها
در صورت تبدیل فایل کتاب Runtime Verification: 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 2008. Selected Papers به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تایید زمان اجرا: هشتمین کارگاه بین المللی، RV 2008، بوداپست، مجارستان، 30 مارس 2008. مقالات منتخب نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تایید زمان اجرا: هشتمین کارگاه بین المللی، RV 2008، بوداپست، مجارستان، 30 مارس 2008. مقالات منتخب
این کتاب مجموعه مقالات پس از داوری کامل هشتمین کارگاه بین المللی در مورد تأیید زمان اجرا، RV 2008، در بوداپست، مجارستان، در مارس 2008 به عنوان رویداد ماهواره ای ETAPS 2008 است.
9 مقاله کامل اصلاح شده ارائه شده همراه با 2 مقاله دعوت شده با دقت از بین 27 مقاله ارسالی اولیه انتخاب شدند. این موضوع چندین زمینه فنی مانند تأیید زمان اجرا، بررسی زمان اجرا، نظارت بر زمان اجرا، و مسائل امنیتی و ایمنی را پوشش می‌دهد.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the thoroughly refereed post-proceedings of the 8th International Workshop on Runtime Verification, RV 2008, held in Budapest, Hungary, in March 2008 as satellite event of ETAPS 2008.
The 9 revised full papers presented together with 2 invited papers were carefully selected from 27 initial submissions. The subject covers several technical fields such as runtime verification, runtime checking, runtime monitoring, and security and safety matters.
فهرست مطالب
Front Matter....Pages -
A Smell of Orchids ....Pages 1-20
Runtime Certification....Pages 21-35
Model-Based Run-Time Checking of Security Permissions Using Guarded Objects....Pages 36-50
Synthesizing Monitors for Safety Properties: This Time with Calls and Returns....Pages 51-68
Forays into Sequential Composition and Concatenation in Eagle ....Pages 69-85
Checking Traces for Regulatory Conformance....Pages 86-103
Deadlocks: From Exhibiting to Healing....Pages 104-118
A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity....Pages 119-136
Property Patterns for Runtime Monitoring of Web Service Conversations....Pages 137-157
Runtime Monitoring of Object Invariants with Guarantee....Pages 158-172
A Lightweight Container Architecture for Runtime Verification....Pages 173-187
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Edible Gender, Mother-in-Law Style, and Other Grammatical Wonders: Studies in Dyirbal, Yidin, and Warrgamay
دانلود کتاب Schmerzpsychotherapie: Grundlagen - Diagnostik - Krankheitsbilder - Behandlung 7. Auflage
دانلود کتاب Hume’s Moral Theory
