دانلود کتاب FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24–28, 1994 Proceedings
| عنوان فارسی | FME '94: مزیت صنعتی روشهای رسمی: دومین سمپوزیوم بین المللی روشهای رسمی اروپا بارسلون، اسپانیا، 24 تا 28 اکتبر 1994 مجموعه مقالات |
|---|---|
| عنوان اصلی | FME '94: Industrial Benefit of Formal Methods: Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24–28, 1994 Proceedings |
| ویرایش | [1 ed.] |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | R. J. R. Back, K. Sere (auth.), Maurice Naftalin, Tim Denvir, Miquel Bertran (eds.) |
| ISBN | 3540585559, 9783540585558 |
| سال نشر | 1994 |
| زبان | English |
| تعداد صفحات | 732 [735] |
| فرمت کتاب | djvu - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 6 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد