دانلود کتاب Adapting proofs-as-programs
49,000 تومان
انطباق اثبات-به عنوان-برنامه
| موضوع اصلی | کامپیوترها |
|---|---|
| نوع کالا | کتاب الکترونیکی |
| ناشر | Springer |
| تعداد صفحه | 430 |
| حجم فایل | 2 مگابایت |
| کد کتاب | 9781441920140,1441920145 |
| نوبت چاپ | پیش نویس وب |
| نویسنده | Iman Poernomo, John N. Crossley, Martin Wirsing |
|---|---|
| زبان | انگلیسی |
| فرمت | |
| سال انتشار | 2010 |
جدول کد تخفیف
| تعداد کتاب | درصد تخفیف | قیمت کتاب |
| 1 | بدون تخفیف | 25,000 تومان |
| 2 | 20 درصد | 20,000 تومان |
| 3 الی 5 | 25 درصد | 18,750 تومان |
| 6 الی 10 | 30 درصد | 17,500 تومان |
| 11 الی 20 | 35 درصد | 16,250 تومان |
| 21 الی 30 | 40 درصد | 15,000 تومان |
| 31 الی 40 | 45 درصد | 13,750 تومان |
| 41 الی 50 | 50 درصد | 12,500 تومان |
| 51 الی 70 | 55 درصد | 11,250 تومان |
| 71 الی 100 | 60 درصد | 10,000 تومان |
| 101 الی 150 | 65 درصد | 8,750 تومان |
| 151 الی 200 | 70 درصد | 7,500 تومان |
| 201 الی 300 | 75 درصد | 6,250 تومان |
| 301 الی 500 | 80 درصد | 5,000 تومان |
| 501 الی 1000 | 85 درصد | 3,750 تومان |
| 1001 الی 10000 | 90 درصد | 2,500 تومان |
ترجمه فارسی توضیحات (ترجمه ماشینی)
انطباق اثبات-به عنوان-برنامه
این مونوگراف چندین پیشرفت مهم در جهت پارادایم اثبات عملی به عنوان برنامه را شرح می دهد، که مجموعه ای از رویکردها برای توسعه برنامه ها از اثبات در منطق سازنده با کاربردها تا مسائل پیچیده مهندسی نرم افزار در مقیاس صنعتی را تشکیل می دهد. یکی از موضوعات اصلی کتاب یک چارچوب کلی و انتزاعی برای توسعه سیستمهای جدید ترکیب برنامهها با تطبیق اثباتها به عنوان برنامهها با زمینههای جدید است.
This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developing programs from proofs in constructive logic with applications to industrial-scale, complex software engineering problems. One of the books central themes is a general, abstract framework for developing new systems of programs synthesis by adapting proofs-as-programs to new contexts.
برای فرستادن دیدگاه، باید وارد شده باشید.
نقد و بررسیها
هنوز بررسیای ثبت نشده است.