خرید و دانلود نسخه کامل کتاب Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers (Lecture Notes in Computer Science, 4323)

سیستم های تعاملی طراحی، مشخصات، و تأیید: سیزدهمین کارگاه بین المللی، DSVIS 2006، دوبلین، ایرلند، 26-28 ژوئیه، 2006، مقالات تجدید نظر شده (یادداشت های سخنرانی در علوم کامپیوتر، 4323)

Interactive Systems. Design, Specification, and Verification: 13th International Workshop, DSVIS 2006, Dublin, Ireland, July 26-28, 2006, Revised Papers (Lecture Notes in Computer Science, 4323)

نویسنده: Gavin Doherty (editor), Ann Blandford (editor)

ناشر: Springer

سال انتشار: 2007

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

زبان: English

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

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