دانلود کتاب Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures (به فارسی: ترکیب بندی: تفاوت قابل توجه: سمپوزیوم بین المللی، COMPOS’97 Bad Malente، آلمان، 8 تا 12 سپتامبر 1997 سخنرانی های اصلاح شده) نوشته شده توسط «Willem-Paul de Roever (auth.) – Willem-Paul de Roever – Hans Langmaack – Amir Pnueli (eds.)»
اطلاعات کتاب ترکیب بندی: تفاوت قابل توجه: سمپوزیوم بین المللی، COMPOS’97 Bad Malente، آلمان، 8 تا 12 سپتامبر 1997 سخنرانی های اصلاح شده
موضوع اصلی: کامپیوترها
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Willem-Paul de Roever (auth.) – Willem-Paul de Roever – Hans Langmaack – Amir Pnueli (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1998
تعداد صفحه: 647
حجم کتاب: 4 مگابایت
کد کتاب: 3540654933 , 9783540654933
نوبت چاپ: 1
توضیحات کتاب ترکیب بندی: تفاوت قابل توجه: سمپوزیوم بین المللی، COMPOS’97 Bad Malente، آلمان، 8 تا 12 سپتامبر 1997 سخنرانی های اصلاح شده
این کتاب از سمپوزیوم بین المللی ترکیب گرایی، COMPOS’97، که در سپتامبر 1997 در Bad Malente، آلمان برگزار شد، سرچشمه گرفته است. 25 فصل ارائه شده در نسخه کامل اصلاح شده، نشان دهنده وضعیت فعلی هنر در زمینه استدلال ترکیبی در مورد همزمانی است. . این کتاب مرجع ارزشمندی برای محققان و متخصصان علاقه مند به طراحی و تحلیل سیستم های رسمی است. همچنین برای مطالعه شخصی و استفاده در دوره های پیشرفته مناسب است.
This book originates from the International Symposium on Compositionality, COMPOS’97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the current state of the art in the area of compositional reasoning about concurrency. The book is a valuable reference for researchers and professionals interested in formal systems design and analysis; it also is well suited for self study and use in advanced courses.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.