خرید و دانلود نسخه کامل کتاب Program Development by Refinement: Case Studies Using the B Method

توسعه برنامه با پالایش: مطالعات موردی با استفاده از روش B

Program Development by Refinement: Case Studies Using the B Method

نویسنده: Ken A. Robinson (auth.), Emil Sekerinski, Kaisa Sere (eds.)

ناشر: Springer-Verlag London

سال انتشار: 1999

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

زبان: English

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

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