خرید و دانلود نسخه کامل کتاب Tools for Practical Software Verification: LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures

ابزارهای تأیید نرم افزارهای عملی: LASER ، دانشکده تابستانی بین المللی 2011 ، جزیره البا ، ایتالیا ، سخنرانی های آموزش تجدید نظر شده

Tools for Practical Software Verification: LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures

نویسنده: Edmund M. Clarke, William Klieber (auth.), Bertrand Meyer, Martin Nordio (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2012

تعداد صفحات: 187

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 2 مگابایت