خرید و دانلود نسخه کامل کتاب Systems and Software Verification: Model-Checking Techniques and Tools

تأیید سیستم ها و نرم افزار: تکنیک ها و ابزارهای مدل سازی

Systems and Software Verification: Model-Checking Techniques and Tools

نویسنده: B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen

ناشر: Springer

سال انتشار: 2001

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

زبان: English

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

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