دانلود کتاب FME 2003: Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings
| عنوان فارسی | FME 2003: روش های رسمی: سمپوزیوم بین المللی روش های رسمی اروپا، پیزا، ایتالیا، 8-14 سپتامبر 2003. مجموعه مقالات |
|---|---|
| عنوان اصلی | FME 2003: Formal Methods: International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003. Proceedings |
| ویرایش | 1 |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Kouichi Kishida (auth.), Keijiro Araki, Stefania Gnesi, Dino Mandrioli (eds.) |
| ISBN | 9783540408284, 9783540452362 |
| سال نشر | 2003 |
| زبان | English |
| تعداد صفحات | 955 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 12 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
وضعیت : موجود
قیمت : 82,000 تومان
مشاهد کتاب در آمازون
توضیحات
فهرست مطالب
اطلاعات قبل از خربد