دانلود کتاب سیستم های تعاملی طراحی، مشخصات، و تأیید: دهمین کارگاه بین المللی، DSV-IS 2003، فونچال، جزیره مادیرا، پرتغال، 11-13 ژوئن، 2003. مقالات تجدید نظر شده بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
نام کتاب : Interactive Systems. Design, Specification, and Verification: 10th International Workshop, DSV-IS 2003, Funchal, Madeira Island, Portugal, June 11-13, 2003. Revised Papers
ویرایش : 1 ed.
عنوان ترجمه شده به فارسی : سیستم های تعاملی طراحی، مشخصات، و تأیید: دهمین کارگاه بین المللی، DSV-IS 2003، فونچال، جزیره مادیرا، پرتغال، 11-13 ژوئن، 2003. مقالات تجدید نظر شده
سری : Lecture Notes in Computer Science 2844
نویسندگان : Larry L. Constantine (auth.), Joaquim A. Jorge, Nuno Jardim Nunes, João Falcão e Cunha (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2003
تعداد صفحات : 427
[440]
ISBN (شابک) : 3540201599 , 9783540201595
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 8 Mb
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.