Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems
افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 5 (0)

10th International Conference, Tacas 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2004, Barcelona, Spain, March 29 - April 2, 2004, Pro...

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

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2004

نویسنده

Kurt Jensen

نویسنده

Kurt Jensen

ناشر

Springer

ناشر

Springer

شابک

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

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

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