خرید و دانلود نسخه کامل کتاب Interactive Systems: Design, Specification, and Verification: 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers (Lecture Notes in Computer Science, 2220)

سیستم های تعاملی: طراحی، مشخصات، و تأیید: هشتمین کارگاه بین المللی، DSV-IS 2001. گلاسکو، اسکاتلند، بریتانیا، 13-15 ژوئن، 2001. مقالات تجدید نظر شده (یادداشت های سخنرانی در علوم کامپیوتر، 2220)

Interactive Systems: Design, Specification, and Verification: 8th International Workshop, DSV-IS 2001. Glasgow, Scotland, UK, June 13-15, 2001. Revised Papers (Lecture Notes in Computer Science, 2220)

نویسنده: Chris J. Johnson (editor)

ناشر: Springer

سال انتشار: 2001

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

زبان: English

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

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