Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation
افزودن به بوکمارک اشتراک گذاری 0 دیدگاه کاربران 5 (0)

21st International Symposium, Lopstr 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers

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

فرمت کتاب

ebook

زبان

english

تاریخ انتشار

2012

نویسنده

Germ N. Vidal

نویسنده

Germ N. Vidal

ناشر

Springer

ناشر

Springer

شابک

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

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

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