تست خودکار برنامه های کاربردی پایگاه داده: نمایندگی مشخصات برای استدلال خودکار
Automated Database Applications Testing: Specification Representation for Automated Reasoning
نویسنده: Rana Rarid Mikhail, Donald Berndt, Abraham Kandel
ناشر: World Scientific Publishing Company
سال انتشار: 2010
تعداد صفحات: 210
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 2 مگابایت