دانلود کتاب Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions (به فارسی: اثبات قضیه تعاملی و توسعه برنامه: Coq’Art: حساب ساختارهای استقرایی) نوشته شده توسط «Yves Bertot – Pierre Castéran»
اطلاعات کتاب اثبات قضیه تعاملی و توسعه برنامه: Coq’Art: حساب ساختارهای استقرایی
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer
نویسنده: Yves Bertot – Pierre Castéran
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2004
تعداد صفحه: 497
حجم کتاب: 2 مگابایت
کد کتاب: 9783540208549 , 3540208542
نوبت چاپ: 1
توضیحات کتاب اثبات قضیه تعاملی و توسعه برنامه: Coq’Art: حساب ساختارهای استقرایی
Coq یک دستیار اثبات تعاملی برای توسعه نظریه های ریاضی و نرم افزار رسمی تایید شده است. این نظریه مبتنی بر نظریه ای به نام حساب سازه های استقرایی است که گونه ای از نظریه نوع است.
این کتاب مقدمه ای عملی برای توسعه اثبات ها و برنامه های تایید شده با استفاده از Coq ارائه می دهد. با مجموعه بزرگی از مثال‌ها و تمرین‌ها، ابزار ارزشمندی برای محققان، دانشجویان و مهندسان علاقه‌مند به روش‌های رسمی و توسعه نرم‌افزار بدون خطا است.
This book provides a pragmatic introduction to the development of proofs and certified programs using Coq. With its large collection of examples and exercises it is an invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.
دانلود کتاب «اثبات قضیه تعاملی و توسعه برنامه: Coq’Art: حساب ساختارهای استقرایی»
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.