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

تجزیه و تحلیل استاتیک: یازدهمین سمپوزیوم بین المللی، SAS 2004، ورونا، ایتالیا، 26-28 اوت 2004، مجموعه مقالات

Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings

دانلود کتاب Static Analysis: 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings (به فارسی: تجزیه و تحلیل استاتیک: یازدهمین سمپوزیوم بین المللی، SAS 2004، ورونا، ایتالیا، 26-28 اوت 2004، مجموعه مقالات) نوشته شده توسط «Giocobazzi R.»

اطلاعات کتاب تجزیه و تحلیل استاتیک: یازدهمین سمپوزیوم بین المللی، SAS 2004، ورونا، ایتالیا، 26-28 اوت 2004، مجموعه مقالات

موضوع اصلی: کنفرانس ها و سمپوزیوم های بین المللی

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

نویسنده: Giocobazzi R.

زبان: English

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

سال انتشار: 2008

تعداد صفحه: 406

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

کد کتاب: 3540278648

توضیحات کتاب تجزیه و تحلیل استاتیک: یازدهمین سمپوزیوم بین المللی، SAS 2004، ورونا، ایتالیا، 26-28 اوت 2004، مجموعه مقالات

این کتاب مجموعه مقالات داوری یازدهمین سمپوزیوم بین‌المللی آنالیز استاتیک، SAS 2004 است که در ورونا، ایتالیا در آگوست 2004 برگزار شد. 23 مقاله کامل اصلاح‌شده ارائه شده همراه با مقاله دعوت شده و چکیده‌های 3 سخنرانی دعوت شده با دقت بررسی و از 63 مورد انتخاب شدند. ارسالی ها مقالات در بخش های موضوعی در مورد تأیید برنامه و سیستم ها، امنیت و ایمنی، تجزیه و تحلیل اشاره گر، تفسیر و الگوریتم های انتزاعی، تجزیه و تحلیل شکل، دامنه انتزاعی و ساختارهای داده، تجزیه و تحلیل شکل و منطق، و تجزیه و تحلیل پایان سازماندهی شده اند.

This book constitutes the refereed proceedings of the 11th International Symposium on Static Analysis, SAS 2004, held in Verona, Italy in August 2004.The 23 revised full papers presented with an invited paper and abstracts of 3 invited talks were carefully reviewed and selected from 63 submissions. The papers are organized in topical sections on program and systems verification, security and safety, pointer analysis, abstract interpretation and algorithms, shape analysis, abstract domain and data structures, shape analysis and logic, and termination analysis.

دانلود کتاب «تجزیه و تحلیل استاتیک: یازدهمین سمپوزیوم بین المللی، SAS 2004، ورونا، ایتالیا، 26-28 اوت 2004، مجموعه مقالات»

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

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

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