دانلود کتاب Logic Based Program Synthesis and Transformation: 15th International Symposium, LOPSTR 2005, London, UK, September 7-9, 2005, Revised Selected Papers

منطق مبتنی بر سنتز و تحول برنامه: پانزدهمین سمپوزیوم بین المللی ، LOPSTR 2005 ، لندن ، انگلیس ، 7-9 سپتامبر 2005 ، مقالات منتخب تجدید نظر شده

زبان : English

نویسندگان : François Fages (auth.), Patricia M. Hill (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2006

ISBN (شابک) : 3540326545, 9783540326540

ویرایش : [1 ed.]

سری : Lecture Notes in Computer Science 3901 : Theoretical Computer Science and General Issues

تعداد صفحات : 182[186]

حجم : 2 مگابایت

فرمت کتاب : pdf

قیمت : 36000 تومان