دانلود کتاب Rewriting Techniques and Applications: 7th International Conference, RTA-96 New Brunswick, NJ, USA, July 27–30, 1996 Proceedings

بازنویسی فنون و کاربردها: هفتمین کنفرانس بین المللی ، RTA-96 نیوبرانزویک ، نیوجرسی ، ایالات متحده آمریکا ، 27 تا 30 ژوئیه ، مجموعه مقالات

زبان : English

نویسندگان : Deepak Kapur (auth.), Harald Ganzinger (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 1996

ISBN (شابک) : 3540614648, 9783540614647

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

سری : Lecture Notes in Computer Science 1103

تعداد صفحات : 440[447]

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

فرمت کتاب : djvu

قیمت : 36000 تومان