دانلود کتاب Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
کتاب سنتز و تحول برنامه مبتنی بر منطق: بیست و یکمین سمپوزیوم بین المللی، LOPSTR 2011، اودنسه، دانمارک، 18-20 ژوئیه، 2011. مقالات منتخب اصلاح شده نسخه زبان اصلی
دانلود کتاب سنتز و تحول برنامه مبتنی بر منطق: بیست و یکمین سمپوزیوم بین المللی، LOPSTR 2011، اودنسه، دانمارک، 18-20 ژوئیه، 2011. مقالات منتخب اصلاح شده بعد از پرداخت مقدور خواهد بود
توضیحات کتاب در بخش جزئیات آمده است و می توانید موارد را مشاهده فرمایید
توضیحاتی در مورد کتاب Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
نام کتاب : Logic-Based Program Synthesis and Transformation: 21st International Symposium, LOPSTR 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Papers
ویرایش : 1
عنوان ترجمه شده به فارسی : سنتز و تحول برنامه مبتنی بر منطق: بیست و یکمین سمپوزیوم بین المللی، LOPSTR 2011، اودنسه، دانمارک، 18-20 ژوئیه، 2011. مقالات منتخب اصلاح شده
سری : Lecture Notes in Computer Science 7225
نویسندگان : John P. Gallagher (auth.), Germán Vidal (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال نشر : 2012
تعداد صفحات : 262
ISBN (شابک) : 9783642322112 , 3642322115
زبان کتاب : English
فرمت کتاب : pdf
حجم کتاب : 3 مگابایت
بعد از تکمیل فرایند پرداخت لینک دانلود کتاب ارائه خواهد شد. درصورت ثبت نام و ورود به حساب کاربری خود قادر خواهید بود لیست کتاب های خریداری شده را مشاهده فرمایید.
پست ها تصادفی