کامپیوترها

انطباق اثبات-به عنوان-برنامه

Adapting proofs-as-programs

دانلود کتاب Adapting proofs-as-programs (به فارسی: انطباق اثبات-به عنوان-برنامه) نوشته شده توسط «Iman Poernomo – John N. Crossley – Martin Wirsing»

اطلاعات کتاب انطباق اثبات-به عنوان-برنامه

موضوع اصلی: کامپیوترها

نوع: کتاب الکترونیکی

ناشر: Springer

نویسنده: Iman Poernomo – John N. Crossley – Martin Wirsing

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2010

تعداد صفحه: 430

حجم کتاب: 3 مگابایت

کد کتاب: 9781441920140 , 1441920145

نوبت چاپ: web draft

توضیحات کتاب انطباق اثبات-به عنوان-برنامه

این مونوگراف چندین پیشرفت مهم در جهت پارادایم اثبات عملی به عنوان برنامه را شرح می دهد، که مجموعه ای از رویکردها برای توسعه برنامه ها از اثبات در منطق سازنده با کاربردها تا مسائل پیچیده مهندسی نرم افزار در مقیاس صنعتی را تشکیل می دهد. یکی از موضوعات اصلی کتاب یک چارچوب کلی و انتزاعی برای توسعه سیستم‌های جدید ترکیب برنامه‌ها با تطبیق اثبات‌ها به عنوان برنامه‌ها با زمینه‌های جدید است.

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.

دانلود کتاب «انطباق اثبات-به عنوان-برنامه»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان