کتاب Logic in Computer Science: Modelling and Reasoning about Systems

وضعیت موجودی موجود

مقایسه شود

قیمت قبلی: 5,220,000 ریال

قیمت: 4,820,000 ریال

Product details

ASIN ‏ : ‎ 052154310X
Publisher ‏ : ‎ Cambridge University Press; 2nd edition (August 26, 2004)
Language ‏ : ‎ English
Paperback ‏ : ‎ 442 pages
ISBN-10 ‏ : ‎ 9780521543101
ISBN-13 ‏ : ‎ 978-0521543101

Available at a lower price from other sellers that may not offer free Prime shipping.

The second edition of this successful textbook continues to provide a clear introduction to formal reasoning relevant to the needs of modern computer science and sufficiently exacting for practical applications. Improvements have been made throughout with many new and expanded text sections. The coverage of model-checking has been substantially updated and additional exercises are included. Internet support includes worked solutions for teacher exercises and model solutions to some student exercises. First Edition Hb (2000): 0-521-65200-6 First Edition Pb (2000): 0-521-65602-8

منابع کتاب کتاب Logic in Computer Science: Modelling and Reasoning about Systems

با قیمت پایین‌تری از سایر فروشندگانی که ممکن است ارسال رایگان Prime را ارائه ندهند، موجود است.

ویرایش دوم این کتاب درسی موفق همچنان مقدمه ای روشن برای استدلال رسمی مرتبط با نیازهای علوم کامپیوتر مدرن و به اندازه کافی دقیق برای کاربردهای عملی ارائه می دهد. با بسیاری از بخش‌های متنی جدید و توسعه‌یافته، بهبودهایی در سرتاسر انجام شده است. پوشش بررسی مدل به طور قابل توجهی به روز شده است و تمرین های اضافی نیز گنجانده شده است. پشتیبانی اینترنتی شامل راه حل های کار شده برای تمرین های معلم و راه حل های مدل برای برخی از تمرین های دانش آموز است. نسخه اول Hb

نظرات کاربران درباره کتاب 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

لطفا توجه داشته باشید که ایمیل شما منتشر نخواهد شد.

نام *

ایمیل *

متن نظر *

ارسال این متن به صورت ایمیل خصوصی به مدیر سایت (سوال یا نظر در مورد محصول)

کد امنیتی * captcha

برچسب های مرتبط با کتاب Logic in Computer Science: Modelling and Reasoning about Systems

Computer Design Microprocessors & System Design Hardware & DIY Computers & Technology خرید اینترنتی کتابهای زبان اصلی کامپیوتر خرید اینترنتی کتابهای لاتین Logic in Computer Science: Modelling and Reasoning about Systems