دانلود کتاب Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France June 12–14, 1989 Proceedings
| عنوان فارسی | روشهای تأیید خودکار برای سیستمهای حالت محدود: کارگاه بینالمللی، گرنوبل، فرانسه 12 تا 14 ژوئن 1989 مجموعه مقالات |
|---|---|
| عنوان اصلی | Automatic Verification Methods for Finite State Systems: International Workshop, Grenoble, France June 12–14, 1989 Proceedings |
| ویرایش | [1 ed.] |
| ناشر | Springer-Verlag Berlin Heidelberg |
| نویسنده | Gérard Boudol, Valérie Roy, Robert de Simone (auth.), Joseph Sifakis (eds.) |
| ISBN | 3540521488, 9783540521488 |
| سال نشر | 1990 |
| زبان | English |
| تعداد صفحات | 384 [388] |
| فرمت کتاب | djvu - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 4 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد
نحوه دریافت کتاب
این کتاب نسخه زبان اصلی است و ترجمه فارسی نیست.بعد از تکمیل فرایند خرید می توانید کتاب را دانلود نمایید. درصورت نیاز به تغییر فرمت کتاب به پشتیبان اطلاع دهید.کتاب های تصادفی