دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: Second International Workshop, TACAS ’96 Passau, Germany, March 27–29, 1996 Proceedings (به فارسی: ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها: دومین کارگاه بین‌المللی، TACAS ’96 Passau، آلمان، 27-29 مارس 1996 مجموعه مقالات) نوشته شده توسط «Gerard J. Holzmann (auth.) – Tiziana Margaria – Bernhard Steffen (eds.)»
اطلاعات کتاب ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها: دومین کارگاه بین‌المللی، TACAS ’96 Passau، آلمان، 27-29 مارس 1996 مجموعه مقالات
موضوع اصلی: الگوریتم ها و ساختارهای داده
نوع: کتاب الکترونیکی
ناشر: Springer-Verlag Berlin Heidelberg
نویسنده: Gerard J. Holzmann (auth.) – Tiziana Margaria – Bernhard Steffen (eds.)
زبان: English
فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)
سال انتشار: 1996
تعداد صفحه: 443
حجم کتاب: 4 مگابایت
کد کتاب: 3540610421 , 9783540610427
نوبت چاپ: 1
توضیحات کتاب ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها: دومین کارگاه بین‌المللی، TACAS ’96 Passau، آلمان، 27-29 مارس 1996 مجموعه مقالات
این کتاب مقالات داوری دومین کارگاه بین‌المللی ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها، TACAS ’96، که در مارس 1996 در پاسائو، آلمان برگزار شد، ارائه می‌کند.
کتاب 19 مقاله کامل اصلاح‌شده را ارائه می‌کند. از مجموع 47 ارسال به همراه 11 ارائه ابزار و 3 مقاله دعوت شده. مجموعه مقالات به تمام جنبه های فعلی طراحی و تجزیه و تحلیل سیستم های توزیع شده می پردازد. این جلد در بخش های موضوعی در مورد ابزارها، بررسی و آزمایش مدل، امنیت، مدل ها و روش ها، مطالعات موردی، و منطق و برنامه ها سازماندهی شده است.
This book presents the refereed proceedings of the Second International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, TACAS ’96, held in Passau, Germany in March 1996.
The book presents 19 revised full papers selected from a total of 47 submissions together with 11 tool presentations and 3 invited papers. The collection of papers addresses all current aspects of the design and analysis of distributed systems; the volume is organized in topical sections on tools, model checking and testing, security, models and methods, case studies, and logic and programs.
برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.