Logic in Computer Science
Modelling and Reasoning about Systems
Michael Huth, Mark Ryan
کد: 1113 قیمت: 8000 تومان فرمت: pdf صفحه: 427
(برای دریافت رمز فایل به راهنمای خرید مراجعه بفرمایید)
توضیحات:
.کتاب مقدمه ای روشن از استدلال صوری در رابطه با نیازهای علم کامپیوتر امروزی و کاربردهای عملی فراهم می آورد
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...
