دانلود کتاب Logic Based Program Synthesis and Transformation: 10th International Workshop, LOPSTR 2000 London, UK, July 24–28, 2000 Selected Papers
منطق مبتنی بر سنتز و تحول برنامه: دهمین کارگاه بین المللی ، LOPSTR 2000 لندن ، انگلیس ، 24 تا 28 ژوئیه ، 2000 مقاله منتخب
زبان : English
نویسندگان : Kung-Kiu Lau (auth.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2001
ISBN (شابک) : 9783540421276, 3540421270
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 2042
تعداد صفحات : 188[190]
حجم : 1 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان