دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب The calculus of computation: Decision procedures with applications to verification
دانلود کتاب محاسبات محاسبات: رویه های تصمیم گیری با برنامه های کاربردی برای تأیید
مشخصات کتاب
The calculus of computation: Decision procedures with applications to verification
ویرایش: نویسندگان: Bradley A., Manna Z. سری: ISBN (شابک) : 3540741127, 9783540741121 ناشر: Springer سال نشر: 2007 تعداد صفحات: 375 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 2 مگابایت
قیمت کتاب (تومان) : 46,000
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
در صورت تبدیل فایل کتاب The calculus of computation: Decision procedures with applications to verification به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب محاسبات محاسبات: رویه های تصمیم گیری با برنامه های کاربردی برای تأیید نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب محاسبات محاسبات: رویه های تصمیم گیری با برنامه های کاربردی برای تأیید
این کتاب درسی که با در نظر گرفتن دانشجویان کارشناسی ارشد و پیشرفته نوشته شده است، منطق محاسباتی را از پایه های منطق مرتبه اول تا روش های تصمیم گیری پیشرفته برای حساب، ساختار داده ها و نظریه های ترکیبی معرفی می کند. کتاب درسی همچنین رویکردی منطقی برای مهندسی نرم افزار صحیح ارائه می دهد. تمرین های تأیید برای توسعه تسهیلات خواننده در تعیین و تأیید نرم افزار با استفاده از منطق ارائه می شود. درمان تأیید با مقدمه ای بر تجزیه و تحلیل استاتیک نرم افزار، جزء مهم سیستم های تأیید مدرن، به پایان می رسد. فصل آخر به تشریح دوره های مطالعه بیشتر می پردازد.
توضیحاتی درمورد کتاب به خارجی
Written with graduate and advanced undergraduate students in mind, this textbook introduces computational logic from the foundations of first-order logic to state-of-the-art decision procedures for arithmetic, data structures, and combination theories. The textbook also presents a logical approach to engineering correct software. Verification exercises are given to develop the reader's facility in specifying and verifying software using logic. The treatment of verification concludes with an introduction to the static analysis of software, an important component of modern verification systems. The final chapter outlines courses of further study.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The History of Sexuality, Volume 2: The Use of Pleasure
دانلود کتاب 60 Ways to Lower Your Blood Sugar
دانلود کتاب Aesthetic Surgery After Massive Weight Loss
دانلود کتاب 简写 : 微型小说集 /Jian xie : wei xing xiao shuo ji
