دانلود کتاب Recent Trends in Algebraic Development Techniques: 16th International Workshop, WADT 2002, Frauenchiemsee, Germany, September 24-27, 2002, Revised Selected Papers

روندهای اخیر در تکنیک های توسعه جبری: شانزدهمین کارگاه بین المللی ، WADT 2002 ، Frauenchiemsee ، آلمان ، 24 تا 27 سپتامبر 2002 ، مقاله های منتخب بازبینی شده

زبان : English

نویسندگان : L. Andrade, P. Baldan, H. Baumeister, R. Bruni, A. Corradini, R. De Nicola (auth.), Martin Wirsing, Dirk Pattinson, Rolf Hennicker (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2003

ISBN (شابک) : 3540205373, 9783540205371

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

سری : Lecture Notes in Computer Science 2755

تعداد صفحات : 464[465]

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

فرمت کتاب : pdf

قیمت : 36000 تومان