Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96 Passau, Germany, March 27-29, 1996 Proceedings

Tools and Algorithms for the Construction and Analysis of Systems : Second International Workshop, TACAS '96 Passau, Germany, March 27-29, 1996 Proceedings
افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 5 (0)

مشارکت: عنوان و توضیح کوتاه هر کتاب را ترجمه کنید این ترجمه بعد از تایید با نام شما در سایت نمایش داده خواهد شد.
iran گزارش تخلف

فرمت کتاب

computer file

زبان

english

تاریخ انتشار

1996

شابک

9783540498742
  • اطلاعات
  • دیدگاه کاربران
برای مطالعه توضیحات وارد حساب کاربری خود شوید

دیدگاه کاربران

دیدگاه خود را بنویسید
|