دانلود کتاب Logic in Computer Science: Modelling and Reasoning about Systems
کتاب منطق در علوم کامپیوتر: مدل سازی و استدلال در مورد سیستم ها نسخه زبان اصلی
دانلود کتاب منطق در علوم کامپیوتر: مدل سازی و استدلال در مورد سیستم ها بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Logic in Computer Science: Modelling and Reasoning about Systems
نام کتاب : Logic in Computer Science: Modelling and Reasoning about Systems
عنوان ترجمه شده به فارسی : منطق در علوم کامپیوتر: مدل سازی و استدلال در مورد سیستم ها
سری :
نویسندگان : M Huth, Mark Ryan
ناشر : Cambridge University Press
سال نشر : 1999
تعداد صفحات : 407
ISBN (شابک) : 0521652006 , 9780521656023
زبان کتاب : English
فرمت کتاب : djvu درصورت درخواست کاربر به PDF تبدیل می شود
حجم کتاب : 4 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
توضیحاتی در مورد کتاب :
1. منطق گزاره ای; 2. منطق محمول; 3. تأیید با بررسی مدل. 4. تأیید برنامه; 5. منطق و عوامل مدال; 6. بررسی مدل نمودار تصمیم باینری. کتابشناسی - فهرست کتب؛ فهرست مطالب
توضیحاتی در مورد کتاب به زبان اصلی :
1. Propositional logic; 2. Predicate logic; 3. Verification by model checking; 4. Program verification; 5. Modal logics and agents; 6. Binary decision diagram model checking; Bibliography; Index