دانلود کتاب Computer Science Logic: 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008. Proceedings
منطق علوم کامپیوتر: بیست و دومین کارگاه بین المللی ، CSL 2008 ، هفدهمین کنفرانس سالانه EACSL ، برترینورو ، ایتالیا ، 16 تا 19 سپتامبر 2008.
زبان : English
نویسندگان : Frédéric Blanqui, Jean-Pierre Jouannaud, Albert Rubio (auth.), Michael Kaminski, Simone Martini (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2008
ISBN (شابک) : 3540875301, 9783540875307
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 5213 : Theoretical Computer Science and General Issues
تعداد صفحات : 513[522]
حجم : 5 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان