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

ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها: چهارمین کنفرانس بین‌المللی، TACAS’98 به عنوان بخشی از کنفرانس‌های مشترک اروپایی در نظریه و عمل نرم‌افزار، ETAPS’98 لیسبون، پرتغال، 28 مارس – 4 آوریل 1998 مجموعه مقالات برگزار شد.

Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS'98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS'98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings

دانلود کتاب Tools and Algorithms for the Construction and Analysis of Systems: 4th International Conference, TACAS’98 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS’98 Lisbon, Portugal, March 28 – April 4, 1998 Proceedings (به فارسی: ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها: چهارمین کنفرانس بین‌المللی، TACAS’98 به عنوان بخشی از کنفرانس‌های مشترک اروپایی در نظریه و عمل نرم‌افزار، ETAPS’98 لیسبون، پرتغال، 28 مارس – 4 آوریل 1998 مجموعه مقالات برگزار شد.) نوشته شده توسط «Randal E. Bryant (auth.) – Bernhard Steffen (eds.)»


اطلاعات کتاب ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها: چهارمین کنفرانس بین‌المللی، TACAS’98 به عنوان بخشی از کنفرانس‌های مشترک اروپایی در نظریه و عمل نرم‌افزار، ETAPS’98 لیسبون، پرتغال، 28 مارس – 4 آوریل 1998 مجموعه مقالات برگزار شد.

موضوع اصلی: الگوریتم ها و ساختارهای داده

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

ناشر: Springer-Verlag Berlin Heidelberg

نویسنده: Randal E. Bryant (auth.) – Bernhard Steffen (eds.)

زبان: English

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

سال انتشار: 1998

تعداد صفحه: 461

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

کد کتاب: 3540643567 , 9783540643562

نوبت چاپ: 1

توضیحات کتاب ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها: چهارمین کنفرانس بین‌المللی، TACAS’98 به عنوان بخشی از کنفرانس‌های مشترک اروپایی در نظریه و عمل نرم‌افزار، ETAPS’98 لیسبون، پرتغال، 28 مارس – 4 آوریل 1998 مجموعه مقالات برگزار شد.

این کتاب مجموعه مقالات داوری چهارمین کنفرانس بین‌المللی ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها، TACAS’98 است که همراه با ETAPS در لیسبون، پرتغال، در مارس/آوریل 1998 برگزار شد. 28 مورد تجدید نظر کامل مقالات ارائه شده همراه با یک سخنرانی دعوت شده از مجموع 78 مقاله ارسالی انتخاب شدند. این جلد به مبانی مفهومی، توسعه و کاربرد ابزارها و الگوریتم‌ها برای مشخصات، تأیید، تجزیه و تحلیل و ساختن سیستم‌های نرم‌افزاری و سخت‌افزاری اختصاص دارد. مقالات در بخش‌هایی در مورد بررسی مدل، طراحی و معماری، برنامه‌های کاربردی مختلف، برنامه‌های کاربردی میدانی، تأیید سیستم‌های بلادرنگ، تکنیک‌های تحلیل ترکیبی، و مطالعات موردی و تجربه سازمان‌دهی شده‌اند.


This book constitutes the refereed proceedings of the 4th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS’98, held in conjunction with ETAPS in Lisbon, Portugal, in March/April 1998. The 28 revised full papers presented together with an invited talk were selected from a total of 78 submissions. The volume is devoted to conceptual foundations, development, and applications of tools and algorithms for the specification, verification, analysis, and construction of software and hardware systems. The papers are organized in sections on model checking, design and architecture, various applications, fielded applications, verification of real-time systems, mixed analysis techniques, and case studies and experience.

دانلود کتاب «ابزارها و الگوریتم‌ها برای ساخت و تحلیل سیستم‌ها: چهارمین کنفرانس بین‌المللی، TACAS’98 به عنوان بخشی از کنفرانس‌های مشترک اروپایی در نظریه و عمل نرم‌افزار، ETAPS’98 لیسبون، پرتغال، 28 مارس – 4 آوریل 1998 مجموعه مقالات برگزار شد.»

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