دانلود کتاب 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 |
| ویرایش | [1 ed.] |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Yu. L. Ershov (auth.), Dines Bjørner, Manfred Broy, Igor V. Pottosin (eds.) |
| ISBN | 354057316X, 9783540573166 |
| سال نشر | 1993 |
| زبان | English |
| تعداد صفحات | 438 [444] |
| فرمت کتاب | djvu - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 4 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد