دانلود کتاب Rewriting Techniques and Applications: 12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings

بازنویسی فنون و کاربردها: دوازدهمین کنفرانس بین المللی ، RTA 2001 اوترخت ، هلند ، 22 تا 24 مه ، مجموعه مقالات

زبان : English

نویسندگان : Henk Barendregt (auth.), Aart Middeldorp (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2001

ISBN (شابک) : 9783540421177, 3540421173

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

سری : Lecture Notes in Computer Science 2051

تعداد صفحات : 368[372]

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

فرمت کتاب : pdf

قیمت : 36000 تومان