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

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

Systems and Software Verification: Model-Checking Techniques and Tools

نویسنده: Béatrice Bérard, Michel Bidoit, Alain Finkel, François Laroussinie, Antoine Petit, Laure Petrucci, Philippe Schnoebelen, Pierre McKenzie (auth.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2001

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

زبان: English

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

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