دانلود کتاب Interactive Systems Design, Specification, and Verification: 7th International Workshop, DSV-IS 2000 Limerick, Ireland, June 5–6, 2000 Revised Papers
by Timothy N. Wright
|
عنوان فارسی: تعاملی طراحی، مشخصات، و تایید: کارگاه آموزشی بین المللی 7، DSV-2000 لیمریک، ایرلند، ژوئن 5-6، 2000 مقالات تجدید نظر |