خرید و دانلود نسخه کامل کتاب Program Verification: Fundamental Issues in Computer Science

تایید برنامه: مسائل اساسی در علوم کامپیوتر

Program Verification: Fundamental Issues in Computer Science

نویسنده: Timothy R. Colburn (auth.), Timothy R. Colburn, James H. Fetzer, Terry L. Rankin (eds.)

ناشر: Springer Netherlands

سال انتشار: 1993

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

زبان: English

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

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