خرید و دانلود نسخه کامل کتاب Interactive Systems. Design Specification, and Verification: 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, ... (Lecture Notes in Computer Science, 3941)

سیستم های تعاملی مشخصات طراحی و تأیید: دوازدهمین کارگاه بین المللی، DSVIS 2005، نیوکاسل از تاین، انگلستان، 13-15 جولای، 2005، ... (یادداشت های سخنرانی در علوم کامپیوتر، 3941)

Interactive Systems. Design Specification, and Verification: 12th International Workshop, DSVIS 2005, Newcastle upon Tyne, UK, July 13-15, 2005, ... (Lecture Notes in Computer Science, 3941)

نویسنده: Stephen W. Gilroy

ناشر: Springer

سال انتشار: 2006

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

زبان: English

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

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