دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS ’95 Aarhus, Denmark, May 19–20, 1995 Selected Papers (به فارسی: ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها: اولین کارگاه بین‌المللی، TACAS ’95 آرهوس، دانمارک، 19–20 مه 1995 مقالات منتخب) نوشته شده توسط «Olaf Müller – Tobias Nipkow (auth.) – E. Brinksma – W. R. Cleaveland – K. G. Larsen – T. Margaria – B. Steffen (eds.)»
اطلاعات کتاب ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها: اولین کارگاه بین‌المللی، TACAS ’95 آرهوس، دانمارک، 19–20 مه 1995 مقالات منتخب
موضوع اصلی: الگوریتم ها و ساختارهای داده
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Olaf Müller – Tobias Nipkow (auth.) – E. Brinksma – W. R. Cleaveland – K. G. Larsen – T. Margaria – B. Steffen (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1995
تعداد صفحه: 298
حجم کتاب: 3 مگابایت
کد کتاب: 3540606300 , 9783540606307
نوبت چاپ: 1
توضیحات کتاب ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها: اولین کارگاه بین‌المللی، TACAS ’95 آرهوس، دانمارک، 19–20 مه 1995 مقالات منتخب
این کتاب 12 مقاله داوری اصلاح شده را ارائه می‌کند که از بین 32 مقاله ارسالی برای اولین کارگاه بین‌المللی ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها، TACAS ’95، که در آرهوس، دانمارک، در ماه مه 1995 برگزار شد، به عنوان بهترین انتخاب شدند.
این کارگاه 46 محقق علاقه مند به توسعه و کاربرد ابزارها و الگوریتم ها برای مشخصات، تأیید، تجزیه و تحلیل و ساخت سیستم های توزیع شده را گرد هم آورد. مقالات موجود در این کتاب به راستی‌آزمایی مبتنی بر اصلاح و ترکیب، تکنیک‌های ساخت، تجزیه و تحلیل و تأیید از طریق اثبات قضیه، جبرهای فرآیند، منطق‌های زمانی و معین، تکنیک‌های زمان واقعی، سیستم‌های ترکیبی و احتمالی، و سیستم‌های عبور ارزش اختصاص دارد. .
This book presents 12 revised refereed papers selected as the best from 32 submissions for the First International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS ’95, held in Aarhus, Denmark, in May 1995.
The workshop brought together 46 researchers interested in the development and application of tools and algorithms for specification, verification, analysis, and construction of distributed systems. The papers included in the book are devoted to refinement-based and compositional verification, construction techniques, analysis and verification via theorem proving, process algebras, temporal and modal logics, techniques for real-time, hybrid and probabilistic systems, and value-passing systems.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.