خرید و دانلود نسخه کامل کتاب Logic in computer science: modelling and reasoning about systems

منطق در علم کامپیوتر: مدل سازی و استدلال در مورد سیستم ها

Logic in computer science: modelling and reasoning about systems

نویسنده: Michael Huth, Mark Ryan

ناشر: Cambridge University Press

سال انتشار: 2004

تعداد صفحات: 443

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 2 مگابایت