دانلود کتاب Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings (به فارسی: Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, 16-18 سپتامبر 2008. مجموعه مقالات) نوشته شده توسط «Wolfram Büttner (auth.) – Egon Börger – Michael Butler – Jonathan P. Bowen – Paul Boca (eds.)»
اطلاعات کتاب Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, 16-18 سپتامبر 2008. مجموعه مقالات
موضوع اصلی: فن آوری
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Wolfram Büttner (auth.) – Egon Börger – Michael Butler – Jonathan P. Bowen – Paul Boca (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2008
تعداد صفحه: 384
حجم کتاب: 5 مگابایت
کد کتاب: 9783540876021 , 3540876022
نوبت چاپ: 1
توضیحات کتاب Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, 16-18 سپتامبر 2008. مجموعه مقالات
این کتاب مجموعه مقالات داوری اولین کنفرانس بینالمللی ماشینهای حالت انتزاعی، B و Z، ABZ 2008، برگزار شده در لندن، انگلستان، در سپتامبر 2008 است. این کنفرانس به طور همزمان پانزدهمین کارگاه بینالمللی ASM را شامل هفدهمین کنفرانس بین المللی کاربران Z و هشتمین کنفرانس بین المللی روش B.
44 مقاله کامل اصلاح شده ارائه شده همراه با 4 مشارکت دعوت شده با دقت بررسی و از بین ارسال های متعدد انتخاب شدند. کنفرانس سه روش دقیق برای طراحی و تجزیه و تحلیل سیستمهای سختافزار و نرمافزار – هم در دانشگاه و هم در صنعت – را تقویت میکند. برای پشتیبانی ابزار و کاربردهای عملی، مشارکتها در بخشهای موضوعی در مورد ماشینهای حالت انتزاعی، مقالات B، مقالات Z، مقالات کوتاه ABZ، و مقالات کارگاه شبکه مخزن نرمافزار تایید شده (VSR-net) سازماندهی شدهاند.
This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ABZ 2008, held in London, UK, in September 2008. The conference simultaneously incorporated the 15th International ASM Workshop, the 17th International Conference of Z Users and the 8th International Conference on the B Method.
The 44 revised full papers presented together with 4 invited contributions were carefully reviewed and selected from numerous submissions. The conference fosters the cross-fertilization of three rigorous methods for the design and analysis of hardware and software systems – both in academia and industry – namely Abstract State Machines, B, and Z. Covering a wide range of research spanning from theoretical and methodological foundations to tool support and practical applications, the contributions are organized in topical sections on abstract state machines, B papers, Z papers, ABZ short papers, and the papers of the Verified Software Repository Network (VSR-net) workshop.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.