خرید و دانلود نسخه کامل کتاب Automated theorem proving in software engineering

قضیه خودکار اثبات شده در مهندسی نرم افزار

Automated theorem proving in software engineering

نویسنده: Johann M Schumann

ناشر: Springer

سال انتشار: 2001

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

زبان: English

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

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