دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب 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 مجموعه مقالات برگزار شد.
مشخصات کتاب
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
ویرایش: [1 ed.] نویسندگان: Randal E. Bryant (auth.), Bernhard Steffen (eds.) سری: Lecture Notes in Computer Science 1384 ISBN (شابک) : 3540643567, 9783540643562 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1998 تعداد صفحات: 461 [469] زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 Mb
قیمت کتاب (تومان) : 77,000
در صورت تبدیل فایل کتاب 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 به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب ابزارها و الگوریتمها برای ساخت و تحلیل سیستمها: چهارمین کنفرانس بینالمللی، TACAS'98 به عنوان بخشی از کنفرانسهای مشترک اروپایی در نظریه و عمل نرمافزار، ETAPS'98 لیسبون، پرتغال، 28 مارس – 4 آوریل 1998 مجموعه مقالات برگزار شد. نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب ابزارها و الگوریتمها برای ساخت و تحلیل سیستمها: چهارمین کنفرانس بینالمللی، 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.
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Hello, is this planet Earth?: my view from the International Space Station
دانلود کتاب The Final Act: The Helsinki Accords and the Transformation of the Cold War
دانلود کتاب Le cronache degli Anunnaki
