توضیحات
This book constitutes the refereed proceedings of the 11th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2010, held in Madrid, Spain, in January 2010.
The 21 papers included in this volume were carefully reviewed and selected from 57 submissions. In addition 3 invited talks and 3 invited tutorials are presented. Topics covered by VMCAI include program verification, program certification, model checking, debugging techniques, abstract interpretation, abstract domains, static analysis, type systems, deductive methods, and optimization.
————————————————————–
ترجمه ماشینی :
این کتاب مجموعه مقالات داوری یازدهمین کنفرانس بین المللی تأیید، بررسی مدل و تفسیر چکیده، VMCAI 2010، در مادرید، اسپانیا، در ژانویه 2010 است.
21 مقاله موجود در این جلد به دقت بررسی و از بین 57 مورد ارسالی انتخاب شد. علاوه بر این 3 سخنرانی دعوت شده و 3 آموزش دعوت شده ارائه شده است. موضوعات تحت پوشش VMCAI عبارتند از تأیید برنامه، گواهی برنامه، بررسی مدل، تکنیک های اشکال زدایی، تفسیر انتزاعی، حوزه های انتزاعی، تجزیه و تحلیل استاتیک، سیستم های نوع، روش های قیاسی و بهینه سازی.
tag : دانلود کتاب تأیید، بررسی مدل، و تفسیر چکیده: یازدهمین کنفرانس بین المللی، VMCAI 2010، مادرید، اسپانیا، 17-19 ژانویه 2010. مجموعه مقالات , Download تأیید، بررسی مدل، و تفسیر چکیده: یازدهمین کنفرانس بین المللی، VMCAI 2010، مادرید، اسپانیا، 17-19 ژانویه 2010. مجموعه مقالات , دانلود تأیید، بررسی مدل، و تفسیر چکیده: یازدهمین کنفرانس بین المللی، VMCAI 2010، مادرید، اسپانیا، 17-19 ژانویه 2010. مجموعه مقالات , Download Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings Book , تأیید، بررسی مدل، و تفسیر چکیده: یازدهمین کنفرانس بین المللی، VMCAI 2010، مادرید، اسپانیا، 17-19 ژانویه 2010. مجموعه مقالات دانلود , buy تأیید، بررسی مدل، و تفسیر چکیده: یازدهمین کنفرانس بین المللی، VMCAI 2010، مادرید، اسپانیا، 17-19 ژانویه 2010. مجموعه مقالات , خرید کتاب تأیید، بررسی مدل، و تفسیر چکیده: یازدهمین کنفرانس بین المللی، VMCAI 2010، مادرید، اسپانیا، 17-19 ژانویه 2010. مجموعه مقالات , دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings , کتاب Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings , دانلود Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings , خرید Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings , خرید کتاب Verification, Model Checking, and Abstract Interpretation: 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings ,
نقد و بررسیها
هنوز بررسیای ثبت نشده است.