Interactive Systems Design, Specification, and Verification: 7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5–6, 2000 Revised Papers

دانلود کتاب Interactive Systems Design, Specification, and Verification: 7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5–6, 2000 Revised Papers

دسته: کنفرانس ها و همایش های بین المللی

57000 تومان موجود

کتاب طراحی، مشخصات و تأیید سیستم های تعاملی: هفتمین کارگاه بین المللی، DSV-IS 2000 Limerick، ایرلند، 5-6 ژوئن، 2000 مقالات تجدید نظر شده نسخه زبان اصلی

دانلود کتاب طراحی، مشخصات و تأیید سیستم های تعاملی: هفتمین کارگاه بین المللی، DSV-IS 2000 Limerick، ایرلند، 5-6 ژوئن، 2000 مقالات تجدید نظر شده بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید


در صورت ایرانی بودن نویسنده امکان دانلود وجود ندارد و مبلغ عودت داده خواهد شد

این کتاب نسخه اصلی می باشد و به زبان فارسی نیست.


امتیاز شما به این کتاب (حداقل 1 و حداکثر 5):

امتیاز کاربران به این کتاب:        تعداد رای دهنده ها: 8


توضیحاتی در مورد کتاب Interactive Systems Design, Specification, and Verification: 7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5–6, 2000 Revised Papers

نام کتاب : 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
نویسندگان : , , , ,
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2001
تعداد صفحات : 252
ISBN (شابک) : 3540416633 , 9783540416630
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 3 مگابایت



بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.






پست ها تصادفی