خرید و دانلود نسخه کامل کتاب Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings

روش های رسمی در برنامه نویسی و کاربرد آنها: کنفرانس بین المللی آگارودروک، نووسیبیرسک، روسیه 28 ژوئن - 2 ژوئیه 1993

Formal Methods in Programming and Their Applications: International Conference Academgorodok, Novosibirsk, Russia June 28 – July 2, 1993 Proceedings

نویسنده: Yu. L. Ershov (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1993

تعداد صفحات: 438 [444]

زبان: English

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

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