دانلود کتاب Logic Based Program Synthesis and Transformation: 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers
منطق مبتنی بر سنتز و تحول برنامه: سیزدهمین سمپوزیوم بین المللی ، LOPSTR 2003 ، اوپسالا ، سوئد ، 25 تا 27 آگوست 2003 ، مقالات منتخب تجدید نظر شده
زبان : English
نویسندگان : Helko Lehmann, Michael Leuschel (auth.), Maurice Bruynooghe (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2004
ISBN (شابک) : 3540221743, 9783540221746, 9783540259381
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 3018
تعداد صفحات : 238[249]
حجم : 2 مگابایت
فرمت کتاب : djvu
قیمت : 36000 تومان