تایید و تجزیه و تحلیل نرم افزار. یک رویکرد یکپارچه و عملی
Software Verification and Analysis. An integrated, Hands-on Approach
نویسنده: Janusz Laski, William Stanley
ناشر: Springer
سال انتشار: 2009
تعداد صفحات: 201
زبان: english
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 2 مگابایت