کامپیوترها

تأیید، بررسی مدل، و تفسیر چکیده: سومین کارگاه بین المللی، VMCAI 2002 ونیز، ایتالیا، 21-22 ژانویه، 2002 مقالات تجدید نظر شده

Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers

دانلود کتاب Verification, Model Checking, and Abstract Interpretation: Third International Workshop, VMCAI 2002 Venice, Italy, January 21–22, 2002 Revised Papers (به فارسی: تأیید، بررسی مدل، و تفسیر چکیده: سومین کارگاه بین المللی، VMCAI 2002 ونیز، ایتالیا، 21-22 ژانویه، 2002 مقالات تجدید نظر شده) نوشته شده توسط «Cinzia Bernardeschi – Nicoletta De Francesco (auth.) – Agostino Cortesi (eds.)»

اطلاعات کتاب تأیید، بررسی مدل، و تفسیر چکیده: سومین کارگاه بین المللی، VMCAI 2002 ونیز، ایتالیا، 21-22 ژانویه، 2002 مقالات تجدید نظر شده

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

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

ناشر: Springer-Verlag Berlin Heidelberg

نویسنده: Cinzia Bernardeschi – Nicoletta De Francesco (auth.) – Agostino Cortesi (eds.)

زبان: English

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

سال انتشار: 2002

تعداد صفحه: 331

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

کد کتاب: 3540436316 , 9783540436317

نوبت چاپ: 1

توضیحات کتاب تأیید، بررسی مدل، و تفسیر چکیده: سومین کارگاه بین المللی، VMCAI 2002 ونیز، ایتالیا، 21-22 ژانویه، 2002 مقالات تجدید نظر شده

این کتاب مجموعه مقالات پس از داوری کامل سومین کارگاه بین المللی تأیید، بررسی مدل و تفسیر چکیده، VMCAI 2002 است که در ژانویه 2002 در ونیز، ایتالیا برگزار شد.
22 مقاله کامل اصلاح شده ارائه شده با دقت بررسی و انتخاب شدند. از 41 ارسال مقالات در بخش های موضوعی در مورد امنیت و پروتکل ها، سیستم ها و بازی های زمان بندی شده، تجزیه و تحلیل استاتیک، بهینه سازی، انواع و تایید، و منطق و سیستم های زمانی سازماندهی شده اند.

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Verification, Model Checking, and Abstract Interpretation, VMCAI 2002, held in Venice, Italy in January 2002.
The 22 revised full papers presented were carefully reviewed and selected from 41 submissions. The papers are organized in topical sections on security and protocols, timed systems and games, static analysis, optimization, types and verification, and temporal logics and systems.

دانلود کتاب «تأیید، بررسی مدل، و تفسیر چکیده: سومین کارگاه بین المللی، VMCAI 2002 ونیز، ایتالیا، 21-22 ژانویه، 2002 مقالات تجدید نظر شده»

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

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

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