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

Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, 22-25 فوریه 2010, مجموعه مقالات

Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings

دانلود کتاب Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010, Proceedings (به فارسی: Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, 22-25 فوریه 2010, مجموعه مقالات) نوشته شده توسط «Marc Frappier – Uwe Glässer – Sarfraz Khurshid – Régine Laleau – Steve Reeves»

اطلاعات کتاب Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, 22-25 فوریه 2010, مجموعه مقالات

موضوع اصلی: فن آوری

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

ناشر: Springer

نویسنده: Marc Frappier – Uwe Glässer – Sarfraz Khurshid – Régine Laleau – Steve Reeves

زبان: English

فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2010

تعداد صفحه: 429

حجم کتاب: 6 مگابایت

کد کتاب: 3642118100 , 9783642118104

توضیحات کتاب Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, 22-25 فوریه 2010, مجموعه مقالات

این کتاب مجموعه مقالات دومین کنفرانس بین المللی ماشین های حالت انتزاعی، B و Z است که در اورفورد، QC، کانادا، در فوریه 2010 برگزار شد. 26 مقاله کامل ارائه شده با دقت بررسی و از 60 مورد ارسالی انتخاب شدند. این کتاب همچنین شامل دو سخنرانی دعوت شده و چکیده از 18 مقاله کوتاه است که به کارهای در حال پیشرفت، گزارش‌های تجربیات صنعتی و توضیحات ابزار می‌پردازد. این مقالات پیشرفت‌های اخیر را در چهار روش به همان اندازه دقیق برای توسعه نرم‌افزار و سخت‌افزار پوشش می‌دهند: ماشین‌های حالت انتزاعی (ASM)، آلیاژ، B و Z. آنها یک چارچوب مفهومی مشترک دارند که حول مفاهیم حالت و عملیات متمرکز شده است، و دقت ریاضی را ارتقا می‌دهند. مدل سازی، تایید و ساخت سیستم های بسیار قابل اعتماد.

This book constitutes the proceedings of the Second International Conference on Abstract State Machines, B and Z, which took place in Orford, QC, Canada, in February 2010. The 26 full papers presented were carefully reviewed and selected from 60 submissions. The book also contains two invited talks and abstracts of 18 short papers which address work in progress, industrial experience reports and tool descriptions. The papers cover recent advances in four equally rigorous methods for software and hardware development: abstract state machines (ASM), Alloy, B and Z. They share a common conceptual framework, centered around the notions of state and operation, and promote mathematical precision in the modeling, verification and construction of highly dependable systems.

دانلود کتاب «Abstract State Machines, Alloy, B and Z: Second International Conference, ABZ 2010, Orford, QC, Canada, 22-25 فوریه 2010, مجموعه مقالات»

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

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

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