دانلود فایل منبع Верификация моделей программ: Model Checking
. این منبع (کتاب) توسط Э. М. Кларк, О. Грамберг, Д. Пелед نوشته شده و
است و منتشر شده در سال 2002 می باشد
توجه: فایل درخواستی حداکثر 8 ساعت بعد ارسال خواهد شد.
شماره کارت : 6104337650971516 شماره حساب : 8228146163 شناسه شبا (انتقال پایا) : IR410120020000008228146163 بانک ملت به نام مهدی تاج دینی