تأیید و تحلیل نرم افزار: رویکرد یکپارچه و عملی
Software Verification and Analysis: An Integrated, Hands-On Approach
نویسنده: William Stanley, Janusz Laski (auth.)
ناشر: Springer-Verlag London
سال انتشار: 2009
تعداد صفحات: 205
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 3 مگابایت