دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003 Warsaw, Poland, April 7–11, 2003 Proceedings (به فارسی: ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها: نهمین کنفرانس بین‌المللی، TACAS 2003 به عنوان بخشی از کنفرانس‌های مشترک اروپایی در نظریه و عمل نرم‌افزار برگزار شد، ETAPS 2003 ورشو، لهستان، 7-11 آوریل، 2003 مجموعه مقالات) نوشته شده توسط «Peter Lee (auth.) – Hubert Garavel – John Hatcliff (eds.)»
اطلاعات کتاب ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها: نهمین کنفرانس بین‌المللی، TACAS 2003 به عنوان بخشی از کنفرانس‌های مشترک اروپایی در نظریه و عمل نرم‌افزار برگزار شد، ETAPS 2003 ورشو، لهستان، 7-11 آوریل، 2003 مجموعه مقالات
موضوع اصلی: الگوریتم ها و ساختارهای داده
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Peter Lee (auth.) – Hubert Garavel – John Hatcliff (eds.)
زبان: English
فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها)
سال انتشار: 2003
تعداد صفحه: 604
حجم کتاب: 5 مگابایت
کد کتاب: 3540008985 , 9783540008989
نوبت چاپ: 1
توضیحات کتاب ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها: نهمین کنفرانس بین‌المللی، TACAS 2003 به عنوان بخشی از کنفرانس‌های مشترک اروپایی در نظریه و عمل نرم‌افزار برگزار شد، ETAPS 2003 ورشو، لهستان، 7-11 آوریل، 2003 مجموعه مقالات
این کتاب مجموعه مقالات داوری نهمین کنفرانس بین‌المللی ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها، TACAS 2003، برگزار شده در ورشو، لهستان، در آوریل 2003 است.
43 مورد تجدید نظر کامل مقالات ارائه شده به دقت بررسی و از 160 مورد ارسالی انتخاب شدند. مقالات در بخش‌های موضوعی بررسی مدل محدود و روش‌های مبتنی بر SAT، محاسبات و منطق‌های زمانی، تأیید سیستم‌های پارامتری، انتزاع‌ها و نمونه‌های متقابل، زمان‌بندی و زمان‌بندی واقعی، امنیت و رمزنگاری، ماژول‌ها و تأیید ترکیبی، حالت نمادین سازمان‌دهی شده‌اند. فضاها و نمودارهای تصمیم، عملکرد و تحرک، کاهش فضای حالت، حل محدودیت ها و روش های تصمیم گیری، و آزمایش و تأیید.
This book constitutes the refereed proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2003, held in Warsaw, Poland, in April 2003.
The 43 revised full papers presented were carefully reviewed and selected from 160 submissions. The papers are organized in topical sections on bounded model checking and SAT-based methods, mu-calculus and temporal logics, verification of parameterized systems, abstractions and counterexamples, real-time and scheduling, security and cryptography, modules and compositional verification, symbolic state spaces and decision diagrams, performance and mobility, state space reductions, constraint solving and decision procedures, and testing and verification.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.