خرید و دانلود نسخه کامل کتاب Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method

نمودارهای اقدام مشروح سلسله مراتبی: یک روش مشخصات و تأیید رابط گرا

Hierarchical Annotated Action Diagrams: An Interface-Oriented Specification and Verification Method

نویسنده: E. Cerny, B. Berkane, P. Girodias, K. Khordoc (auth.)

ناشر: Springer US

سال انتشار: 1998

تعداد صفحات: 220

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 8 مگابایت