دانلود کتاب Automata Logics, and Infinite Games: A Guide to Current Research

منطق های اتومات و بازی های بی نهایت: راهنمای تحقیقات فعلی

زبان : English

نویسندگان : Berndt Farwer (auth.), Erich Grädel, Wolfgang Thomas, Thomas Wilke (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2002

ISBN (شابک) : 3540003886, 9783540003885

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

سری : Lecture Notes in Computer Science 2500

تعداد صفحات : 392[354]

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

فرمت کتاب : pdf

قیمت : 36000 تومان