دانلود کتاب طراحی، مشخصات و تأیید سیستم های تعاملی: هفتمین کارگاه بین المللی، DSV-IS 2000 Limerick، ایرلند، 5-6 ژوئن، 2000 مقالات تجدید نظر شده بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد
نام کتاب : Interactive Systems Design, Specification, and Verification: 7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5–6, 2000 Revised Papers
ویرایش : 1
عنوان ترجمه شده به فارسی : طراحی، مشخصات و تأیید سیستم های تعاملی: هفتمین کارگاه بین المللی، DSV-IS 2000 Limerick، ایرلند، 5-6 ژوئن، 2000 مقالات تجدید نظر شده
سری : Lecture Notes in Computer Science 1946
نویسندگان : Timothy N. Wright, T. C. Nicholas Graham, Tore Urnes (auth.), Philippe Palanque, Fabio Paternò (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2001
تعداد صفحات : 252
ISBN (شابک) : 3540416633 , 9783540416630
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 3 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.