نرم افزار: سیستم ها: محاسبات علمی

روش‌های رسمی برای سیستم‌های زمان واقعی و احتمالی: پنجمین کارگاه بین‌المللی AMAST، ARTS'99 بامبرگ، آلمان، 26-28 مه، 1999 مجموعه مقالات

Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings

دانلود کتاب Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings (به فارسی: روش‌های رسمی برای سیستم‌های زمان واقعی و احتمالی: پنجمین کارگاه بین‌المللی AMAST، ARTS’99 بامبرگ، آلمان، 26-28 مه، 1999 مجموعه مقالات) نوشته شده توسط «Bengt Jonsson – Wang Yi (auth.) – Joost-Pieter Katoen (eds.)»

اطلاعات کتاب روش‌های رسمی برای سیستم‌های زمان واقعی و احتمالی: پنجمین کارگاه بین‌المللی AMAST، ARTS'99 بامبرگ، آلمان، 26-28 مه، 1999 مجموعه مقالات

موضوع اصلی: کامپیوتر – علوم کامپیوتر

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

ناشر: Springer-Verlag Berlin Heidelberg

نویسنده: Bengt Jonsson – Wang Yi (auth.) – Joost-Pieter Katoen (eds.)

زبان: english

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

سال انتشار: 1999

تعداد صفحه: 362 / 363

حجم فایل: 3.58 مگابایت

کد کتاب: 3540660100 , 9783540660101

نوبت چاپ: 1

توضیحات کتاب روش‌های رسمی برای سیستم‌های زمان واقعی و احتمالی: پنجمین کارگاه بین‌المللی AMAST، ARTS'99 بامبرگ، آلمان، 26-28 مه، 1999 مجموعه مقالات

این کتاب مجموعه مقالات داوری پنجمین کارگاه بین‌المللی AMAST در روش‌های رسمی برای سیستم‌های زمان واقعی و احتمالاتی، ARTS ’99 است که در ماه می 1999 در بامبرگ، آلمان برگزار شد.
17 مقاله کامل اصلاح‌شده همراه با سه مشارکت دعوت‌شده ارائه شده است. از بین 33 مورد ارسالی به دقت بررسی و انتخاب شدند. مقالات در بخش‌های موضوعی در مورد تأیید سیستم‌های احتمالی، بررسی مدل برای سیستم‌های احتمالی، معناشناسی محاسبات فرآیند احتمالی، معناشناسی فرآیندهای بی‌درنگ، تدوین زمان واقعی، جبر فرآیند تصادفی، و مدل‌سازی و تأیید سیستم‌های زمان واقعی سازمان‌دهی شده‌اند. .

This book constitutes the refereed proceedings of the Fifth International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems, ARTS ’99, held in Bamberg, Germany in May 1999.
The 17 revised full papers presented together with three invited contributions were carefully reviewed and selected from 33 submissions. The papers are organized in topical sections on verification of probabilistic systems, model checking for probabilistic systems, semantics of probabilistic process calculi, semantics of real-time processes, real-time compilation, stochastic process algebra, and modeling and verification of real-time systems.

دانلود کتاب «روش‌های رسمی برای سیستم‌های زمان واقعی و احتمالی: پنجمین کارگاه بین‌المللی AMAST، ARTS'99 بامبرگ، آلمان، 26-28 مه، 1999 مجموعه مقالات»

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

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

برچسب ها

دیدگاهتان را بنویسید

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