دانلود کتاب Computer Science Logic: 15th International Workshop, CSL 2001 10th Annual Conference of the EACSL Paris, France, September 10–13, 2001, Proceedings

منطق علوم کامپیوتر: پانزدهمین کارگاه بین المللی ، CSL 2001 دهمین کنفرانس سالانه EACSL پاریس ، فرانسه ، 10 تا 13 سپتامبر ، 2001 ، مجموعه مقالات

زبان : English

نویسندگان : Peter O’Hearn, John Reynolds, Hongseok Yang (auth.), Laurent Fribourg (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2001

ISBN (شابک) : 3540425543, 9783540425540

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

سری : Lecture Notes in Computer Science 2142

تعداد صفحات : 628[630]

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

فرمت کتاب : pdf

قیمت : 36000 تومان