دانلود کتاب Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers
سنتز و تحول برنامه مبتنی بر منطق: هجدهمین سمپوزیوم بین المللی ، LOPSTR 2008 ، والنسیا ، اسپانیا ، 17 تا 18 ژوئیه 2008 ، مقالات منتخب تجدید نظر شده
زبان : English
نویسندگان : Cristiano Calcagno, Dino Distefano (auth.), Michael Hanus (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2009
ISBN (شابک) : 3642005144, 9783642005145
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 5438 : Theoretical Computer Science and General Issues
تعداد صفحات : 185[192]
حجم : 2 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان
