دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 14th International Conference, TACAS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings (به فارسی: ابزارها و الگوریتم‌ها برای ساخت و تجزیه و تحلیل سیستم‌ها: چهاردهمین کنفرانس بین‌المللی، TACAS 2008، که به عنوان بخشی از کنفرانس‌های مشترک اروپایی در زمینه تئوری و عمل نرم‌افزار، ETAPS 2008، بوداپست، مجارستان، 29 مارس تا 6 آوریل 2008 برگزار شد.) نوشته شده توسط «Sharad Malik (auth.) – C. R. Ramakrishnan – Jakob Rehof (eds.)»
اطلاعات کتاب ابزارها و الگوریتم‌ها برای ساخت و تجزیه و تحلیل سیستم‌ها: چهاردهمین کنفرانس بین‌المللی، TACAS 2008، که به عنوان بخشی از کنفرانس‌های مشترک اروپایی در زمینه تئوری و عمل نرم‌افزار، ETAPS 2008، بوداپست، مجارستان، 29 مارس تا 6 آوریل 2008 برگزار شد.
موضوع اصلی: الگوریتم ها و ساختارهای داده
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Sharad Malik (auth.) – C. R. Ramakrishnan – Jakob Rehof (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2008
تعداد صفحه: 520
حجم کتاب: 7 مگابایت
کد کتاب: 3540787992 , 9783540787990
نوبت چاپ: 1
توضیحات کتاب ابزارها و الگوریتم‌ها برای ساخت و تجزیه و تحلیل سیستم‌ها: چهاردهمین کنفرانس بین‌المللی، TACAS 2008، که به عنوان بخشی از کنفرانس‌های مشترک اروپایی در زمینه تئوری و عمل نرم‌افزار، ETAPS 2008، بوداپست، مجارستان، 29 مارس تا 6 آوریل 2008 برگزار شد.
این کتاب مجموعه مقالات داوری چهاردهمین کنفرانس بین‌المللی ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها، TACAS 2008، در بوداپست، مجارستان، در مارس/آوریل 2008 به عنوان بخشی از ETAPS 2008، کنفرانس مشترک اروپا است. در مورد تئوری و عمل نرم افزار.
31 مقاله تحقیق کامل اصلاح شده و 7 مقاله نمایش ابزار اصلاح شده ارائه شده همراه با چکیده مقاله دعوت شده با دقت بررسی و از بین 140 مورد ارسالی انتخاب شدند. مقالات در بخش های موضوعی در مورد سیستم های پارامتری، بررسی مدل، برنامه های کاربردی، تجزیه و تحلیل استاتیک، سیستم های همزمان/توزیع شده، اجرای نمادین، انتزاع، درون یابی، اعتماد، و شهرت سازماندهی شده اند.
This book constitutes the refereed proceedings of the 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2008, held in Budapest, Hungary, in March/April 2008 as part of ETAPS 2008, the European Joint Conferences on Theory and Practice of Software.
The 31 revised full research papers and 7 revised tool demonstration papers presented together with the abstract of an invited paper were carefully reviewed and selected from a total of 140 submissions. The papers are organized in topical sections on parameterized systems, model checking, applications, static analysis, concurrent/distributed systems, symbolic execution, abstraction, interpolation, trust, and reputation.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.