دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings (به فارسی: تأیید، بررسی مدل، و تفسیر چکیده: نهمین کنفرانس بین المللی، VMCAI 2008، سانفرانسیسکو، ایالات متحده، 7-9 ژانویه 2008. مجموعه مقالات) نوشته شده توسط «Radhia Cousot (auth.) – Francesco Logozzo – Doron A. Peled – Lenore D. Zuck (eds.)»
اطلاعات کتاب تأیید، بررسی مدل، و تفسیر چکیده: نهمین کنفرانس بین المللی، VMCAI 2008، سانفرانسیسکو، ایالات متحده، 7-9 ژانویه 2008. مجموعه مقالات
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Radhia Cousot (auth.) – Francesco Logozzo – Doron A. Peled – Lenore D. Zuck (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2008
تعداد صفحه: 325
حجم کتاب: 4 مگابایت
کد کتاب: 3540781625 , 9783540781622
نوبت چاپ: 1
توضیحات کتاب تأیید، بررسی مدل، و تفسیر چکیده: نهمین کنفرانس بین المللی، VMCAI 2008، سانفرانسیسکو، ایالات متحده، 7-9 ژانویه 2008. مجموعه مقالات
این کتاب مجموعه مقالات داوری نهمین کنفرانس بین المللی تأیید، بررسی مدل، و تفسیر چکیده، VMCAI 2007 است که در سانفرانسیسکو، ایالات متحده آمریکا، در ژانویه 2008 برگزار شد.
21 مقاله کامل اصلاح شده ارائه شده همراه با 2 سخنرانی دعوت شده و 2 آموزش دعوت شده به دقت مورد بررسی قرار گرفت و از مجموع بیش از 60 مورد ارسالی انتخاب شد. این مقالات شامل تحقیقات فعلی از جوامع تأیید، گواهی برنامه، بررسی مدل، تکنیک‌های اشکال‌زدایی، تفسیر انتزاعی، حوزه‌های انتزاعی، تجزیه و تحلیل استاتیک، لقاح متقابل، و پیشرفت روش‌های ترکیبی است.
The book constitutes the refereed proceedings of the 9th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2007, held in San Francisco, USA, in January 2008.
The 21 revised full papers presented together with 2 invited lectures and 2 invited tutorials were carefully reviewed and selected from a total of over 60 submissions. The papers feature current research from the communities of verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, cross-fertilization, and advancement of hybrid methods.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.