دانلود کتاب Abstract State Machines 2003: Advances in Theory and Practice 10th International Workshop, ASM 2003 Taormina, Italy, March 3–7, 2003 Proceedings (به فارسی: Abstract State Machines 2003: Advances in Theory and Practice دهمین کارگاه بین المللی، ASM 2003 Taormina، ایتالیا، 3 تا 7 مارس 2003 مجموعه مقالات) نوشته شده توسط «Antonia Bertolino (auth.) – Egon Börger – Angelo Gargantini – Elvinia Riccobene (eds.)»
اطلاعات کتاب Abstract State Machines 2003: Advances in Theory and Practice دهمین کارگاه بین المللی، ASM 2003 Taormina، ایتالیا، 3 تا 7 مارس 2003 مجموعه مقالات
موضوع اصلی: فن آوری
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Antonia Bertolino (auth.) – Egon Börger – Angelo Gargantini – Elvinia Riccobene (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2003
تعداد صفحه: 436
حجم کتاب: 4 مگابایت
کد کتاب: 3540006249 , 9783540006244
نوبت چاپ: 1
توضیحات کتاب Abstract State Machines 2003: Advances in Theory and Practice دهمین کارگاه بین المللی، ASM 2003 Taormina، ایتالیا، 3 تا 7 مارس 2003 مجموعه مقالات
این کتاب مجموعه مقالات داوری دهمین کارگاه بین‌المللی ماشین‌های حالت انتزاعی، ASM 2003 است که در تائورمینا، ایتالیا در مارس 2003 برگزار شد.
16 مقاله کامل اصلاح‌شده همراه با 8 مقاله ارائه شده است. مقالات دعوت شده و 12 چکیده به دقت بررسی و برای درج در کتاب انتخاب شدند. این مقالات نشان دهنده وضعیت هنر روش ماشین حالت انتزاعی برای طراحی و تجزیه و تحلیل سیستم های نرم افزاری/سخت افزاری پیچیده است. علاوه بر نتایج نظری و پیشرفت روش شناختی، کاربرد در زمینه های مختلف نیز مورد مطالعه قرار گرفته است.
This book constitutes the refereed proceedings of the 10th International Workshop on Abstract State Machines, ASM 2003, held in Taormina, Italy in March 2003.
The 16 revised full papers presented together with 8 invited papers and 12 abstracts were carefully reviewed and selected for inclusion in the book. The papers reflect the state of the art of the abstract state machine method for the design and analysis of complex software/hardware systems. Besides theoretical results and methodological progress, application in various fields are studied as well.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.