دانلود کتاب Principles of Model Checking
کتاب اصول بررسی مدل نسخه زبان اصلی
دانلود کتاب اصول بررسی مدل بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Principles of Model Checking
نام کتاب : Principles of Model Checking
عنوان ترجمه شده به فارسی : اصول بررسی مدل
سری :
نویسندگان : Christel Baier, Joost-Pieter Katoen
ناشر :
سال نشر : 2008
تعداد صفحات : 994
ISBN (شابک) : 9780262026499 , 026202649X
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 4 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
مقدمه ای جامع بر مبانی بررسی مدل، یک تکنیک کاملاً خودکار برای یافتن نقص در سخت افزار و نرم افزار. با مثال های گسترده و تمرین های عملی و نظری.
توضیحاتی در مورد کتاب به زبان اصلی :
A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises.
پست ها تصادفی