دانلود کتاب Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22–26, 1985
| عنوان فارسی | روش های ریاضی مشخصات و ترکیب سیستم های نرم افزاری '85: مجموعه مقالات مدرسه بهار بین المللی Wendisch-Rietz, GDR, 22-26 آوریل 1985 |
|---|---|
| عنوان اصلی | Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, GDR, April 22–26, 1985 |
| ویرایش | [1 ed.] |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | J. A. Bergstra, J. W. Klop (auth.), Wolfgang Bibel, Klaus P. Jantke (eds.) |
| ISBN | 3540164448, 9783540164449 |
| سال نشر | 1986 |
| زبان | English |
| تعداد صفحات | 249 [242] |
| فرمت کتاب | djvu - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 3 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد