دانلود کتاب Systems and Software Verification: Model-Checking Techniques and Tools
by B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, P. Schnoebelen
|
عنوان فارسی: تأیید سیستم ها و نرم افزار: تکنیک ها و ابزارهای بررسی مدل |