کتاب الکترونیکی

Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, 16-18 سپتامبر 2008. مجموعه مقالات

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, 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.

دانلود کتاب «Abstract State Machines, B and Z: First International Conference, ABZ 2008, London, UK, 16-18 سپتامبر 2008. مجموعه مقالات»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

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