دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
دانلود کتاب سیستم های نرم افزاری قابل اعتماد مهندسی: مدرسه بین المللی دوم، SETSS 2016، چونگ کینگ، چین، 28 مارس - 2 آوریل 2016، سخنرانی های آموزشی
مشخصات کتاب
Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures
ویرایش: 1 نویسندگان: Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.) سری: Lecture Notes in Computer Science 10215 ISBN (شابک) : 9783319568416, 9783319568409 ناشر: Springer International Publishing سال نشر: 2017 تعداد صفحات: 272 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 12 مگابایت
قیمت کتاب (تومان) : 34,000
کلمات کلیدی مربوط به کتاب سیستم های نرم افزاری قابل اعتماد مهندسی: مدرسه بین المللی دوم، SETSS 2016، چونگ کینگ، چین، 28 مارس - 2 آوریل 2016، سخنرانی های آموزشی: مهندسی نرم افزار، تکنیک های برنامه نویسی، زبان های برنامه نویسی، کامپایلرها، مترجمان، حرفه محاسبات، منطق و معانی برنامه ها، عملکرد و ارزیابی سیستم
در صورت تبدیل فایل کتاب Engineering Trustworthy Software Systems: Second International School, SETSS 2016, Chongqing, China, March 28 - April 2, 2016, Tutorial Lectures به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب سیستم های نرم افزاری قابل اعتماد مهندسی: مدرسه بین المللی دوم، SETSS 2016، چونگ کینگ، چین، 28 مارس - 2 آوریل 2016، سخنرانی های آموزشی نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب سیستم های نرم افزاری قابل اعتماد مهندسی: مدرسه بین المللی دوم، SETSS 2016، چونگ کینگ، چین، 28 مارس - 2 آوریل 2016، سخنرانی های آموزشی
این جلد حاوی سابقه برخی از سخنرانی‌ها و سمینارهای ارائه شده در دومین مدرسه بین‌المللی سیستم‌های نرم‌افزار قابل اعتماد مهندسی (SETSS 2016) است که در مارس/آوریل 2016 در دانشگاه جنوب غربی در چونگ کینگ، چین برگزار شد.</ p> شش مقاله گنجانده شده در این جلد، مروری بر تحقیقات پیشرو در روش ها و ابزارهایی برای استفاده در مهندسی سیستم کامپیوتری ارائه می دهد. آنها از شش دوره و دو سمینار با موضوعاتی مانند: مدل سازی و تأیید در رویداد-B استخراج شده اند. برنامه نویسی موازی امروز؛ تایید زمان اجرا؛ جاوا در حوزه ایمنی حیاتی؛ معناشناسی سیستم های واکنشی؛ تست واحد پارامتری استدلال رسمی در مورد مقادیر بی نهایت داده؛ و آلن تورینگ و دستاوردهای چشمگیر او. این مطالب برای دانشجویان کارشناسی ارشد، محققین، دانشگاهیان و مهندسان صنایع که به تئوری و عمل روش ها و ابزارهای طراحی و برنامه نویسی سیستم های نرم افزاری قابل اعتماد علاقه مند هستند، مفید است.
توضیحاتی درمورد کتاب به خارجی
This volume contains a record of some of the lectures and seminars delivered at the Second International School on Engineering Trustworthy Software Systems (SETSS 2016), held in March/April 2016 at Southwest University in Chongqing, China.
The six contributions included in this volume provide an overview of leading-edge research in methods and tools for use in computer system engineering. They have been distilled from six courses and two seminars on topics such as: modelling and verification in event-B; parallel programming today; runtime verification; Java in the safety-critical domain; semantics of reactive systems; parameterized unit testing; formal reasoning about infinite data values; and Alan Turing and his remarkable achievements. The material is useful for postgraduate students, researchers, academics, and industrial engineers, who are interested in the theory and practice of methods and tools for the design and programming of trustworthy software systems.فهرست مطالب
Front Matter....Pages I-XV
Alan Turing: Founder of Computer Science....Pages 1-15
UTP by Example: Designs....Pages 16-50
Reasoned Modelling with Event-B....Pages 51-109
Java in the Safety-Critical Domain....Pages 110-150
Runtime Verification for Linear-Time Temporal Logic....Pages 151-194
Formal Reasoning on Infinite Data Values: An Ongoing Quest....Pages 195-257
Back Matter....Pages 259-259
نظرات کاربران
کتاب های تصادفی
دانلود کتاب The end of materialism: How evidence of the paranormal is bringing science and spirit together
دانلود کتاب Spring 5 Recipes: A Problem-Solution Approach
