خرید و دانلود نسخه کامل کتاب Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers

سیستم های تعاملی طراحی ، مشخصات و تأیید: پانزدهمین کارگاه بین المللی ، DSV-IS 2008 کینگستون ، کانادا ، 16-18 ژوئیه ، 2008 مقالات اصلاح شده

Interactive Systems. Design, Specification, and Verification: 15th International Workshop, DSV-IS 2008 Kingston, Canada, July 16-18, 2008 Revised Papers

نویسنده: Ann Blandford, Paul Curzon, Joanne Hyde (auth.), T. C. Nicholas Graham, Philippe Palanque (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2008

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

زبان: English

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

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