دانلود کتاب Verification, Model Checking, and Abstract Interpretation: 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings (به فارسی: تأیید، بررسی مدل، و تفسیر چکیده: هشتمین کنفرانس بین المللی، VMCAI 2007، نیس، فرانسه، 14-16 ژانویه، 2007. مجموعه مقالات) نوشته شده توسط «Gogul Balakrishnan – Thomas Reps (auth.) – Byron Cook – Andreas Podelski (eds.)»
اطلاعات کتاب تأیید، بررسی مدل، و تفسیر چکیده: هشتمین کنفرانس بین المللی، VMCAI 2007، نیس، فرانسه، 14-16 ژانویه، 2007. مجموعه مقالات
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Gogul Balakrishnan – Thomas Reps (auth.) – Byron Cook – Andreas Podelski (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2007
تعداد صفحه: 395
حجم کتاب: 5 مگابایت
کد کتاب: 3540697357 , 9783540697350
نوبت چاپ: 1
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.