دانلود کتاب Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method
| عنوان فارسی | نمودارهای اقدام مشروح سلسله مراتبی: یک روش مشخصات و تأیید رابط گرا |
|---|---|
| عنوان اصلی | Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method |
| ویرایش | 1 |
| ناشر | Springer US |
| نویسنده | E. Cerny, B. Berkane, P. Girodias, K. Khordoc (auth.) |
| ISBN | 9781461375692, 9781461556152 |
| سال نشر | 1998 |
| زبان | English |
| تعداد صفحات | 220 |
| فرمت کتاب | pdf - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 8 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد