
Logic-Based Program Synthesis and Transformation
21st International Symposium, Lopstr 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
فرمت کتاب
ebook
زبان
english
تاریخ انتشار
2012
نویسنده
Germ N. Vidalنویسنده
Germ N. Vidalناشر
Springerناشر
Springerشابک
9783642322105
- اطلاعات
- دیدگاه کاربران
دیدگاه کاربران