دانلود کتاب CONCUR ’97: Concurrency Theory: 8th International Conference Warsaw, Poland, July 1–4, 1997 Proceedings (به فارسی: CONCUR ’97: Concurrency Theory: هشتمین کنفرانس بین المللی ورشو، لهستان، 1-4 ژوئیه، 1997 مجموعه مقالات) نوشته شده توسط «Jeremy Gunawardena (auth.) – Antoni Mazurkiewicz – Józef Winkowski (eds.)»
اطلاعات کتاب CONCUR ’97: Concurrency Theory: هشتمین کنفرانس بین المللی ورشو، لهستان، 1-4 ژوئیه، 1997 مجموعه مقالات
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Jeremy Gunawardena (auth.) – Antoni Mazurkiewicz – Józef Winkowski (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1997
تعداد صفحه: 428
حجم کتاب: 4 مگابایت
کد کتاب: 3540631410 , 9783540631415
نوبت چاپ: 1
توضیحات کتاب CONCUR ’97: Concurrency Theory: هشتمین کنفرانس بین المللی ورشو، لهستان، 1-4 ژوئیه، 1997 مجموعه مقالات
این کتاب مجموعه مقالات داوری هشتمین کنفرانس بین المللی تئوری همزمانی، CONCUR’97 است. در ورشو، لهستان، در جولای 1997 برگزار شد.
24 مقاله کامل اصلاح شده ارائه شده توسط کمیته برنامه برای گنجاندن در جلد از مجموع 41 مقاله ارسالی با کیفیت بالا انتخاب شدند. این جلد تمام موضوعات جاری در علم نظریه همزمانی و کاربردهای آن، مانند سیستم‌های واکنشی، سیستم‌های ترکیبی، بررسی مدل، سفارش‌های جزئی، نمودارهای حالت، محاسبات منطق برنامه، سیستم‌های حالت نامحدود، تأیید و موارد دیگر را پوشش می‌دهد.
This book constitutes the refereed proceedings of the 8th International Conference on Concurrency Theory, CONCUR’97. held in Warsaw, Poland, in July 1997.
The 24 revised full papers presented were selected by the program committee for inclusion in the volume from a total of 41 high-quality submissions. The volume covers all current topics in the science of concurrency theory and its applications, such as reactive systems, hybrid systems, model checking, partial orders, state charts, program logic calculi, infinite state systems, verification, and others.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.