دانلود کتاب Transformation-Based Reactive Systems Development: 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS’97 Palma, Mallorca, Spain, May 21–23, 1997 Proceedings (به فارسی: توسعه سیستم‌های واکنشی مبتنی بر تحول: چهارمین کارگاه بین‌المللی AMAST در مورد سیستم‌های بلادرنگ و نرم‌افزارهای همزمان و توزیع‌شده، ARTS’97 پالما، مایورکا، اسپانیا، 21–23 مه، 1997 مجموعه مقالات) نوشته شده توسط «Anthony Bonner (auth.) – Miquel Bertran – Teodor Rus (eds.)»
اطلاعات کتاب توسعه سیستم‌های واکنشی مبتنی بر تحول: چهارمین کارگاه بین‌المللی AMAST در مورد سیستم‌های بلادرنگ و نرم‌افزارهای همزمان و توزیع‌شده، ARTS'97 پالما، مایورکا، اسپانیا، 21–23 مه، 1997 مجموعه مقالات
موضوع اصلی: کامپیوتر – علوم کامپیوتر
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Anthony Bonner (auth.) – Miquel Bertran – Teodor Rus (eds.)
زبان: english
فرمت کتاب: DJVU (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1997
تعداد صفحه: 436 / 441
حجم فایل: 4.33 مگابایت
کد کتاب: 3540630104 , 9783540630104
نوبت چاپ: 1
توضیحات کتاب توسعه سیستم‌های واکنشی مبتنی بر تحول: چهارمین کارگاه بین‌المللی AMAST در مورد سیستم‌های بلادرنگ و نرم‌افزارهای همزمان و توزیع‌شده، ARTS'97 پالما، مایورکا، اسپانیا، 21–23 مه، 1997 مجموعه مقالات
این کتاب مجموعه مقالات داوری چهارمین کارگاه بین‌المللی AMAST در سیستم‌های بی‌درنگ و نرم‌افزارهای همزمان و توزیع‌شده، ARTS’97 است که در پالما د مایورکا، اسپانیا، در می 1997 برگزار شد.
جلد 24 را با دقت ارائه می‌کند. مقالات کامل اصلاح شده انتخاب شده است. همچنین شامل دو اثر تاریخی به افتخار رامون لول، که در مایورکا به دنیا آمده است، و همچنین دو مقاله دعوت شده است. همه مسائل جاری در زمینه روش‌های رسمی برای سیستم‌های بلادرنگ و سیستم‌های توزیع‌شده و همزمان بررسی می‌شوند.
This book constitutes the refereed proceedings of the Fourth International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software, ARTS’97, held in Palma de Mallorca, Spain, in May 1997.
The volume presents 24 carefully selected revised full papers. Also included are two historical contributions honoring Ramon Llull, who was born on Mallorca, as well as two invited papers. All current issues in the field of formal methods for real-time systems and distributed and concurrent systems are addressed.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.