دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
دانلود کتاب تئوری های متحد برنامه های برنامه ریزی و روش های مهندسی رسمی: مدرسه آموزش بین المللی مهندسی نرم افزار، برگزار شده در ICTAC 2013، شانگهای، چین، 26-30 اوت 2013، سخنرانی های پیشرفته
مشخصات کتاب
Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures
ویرایش: 1 نویسندگان: Ruzhen Dong, Johannes Faber, Wei Ke (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.) سری: Lecture Notes in Computer Science 8050 ISBN (شابک) : 9783642397202, 9783642397219 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2013 تعداد صفحات: 292 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
قیمت کتاب (تومان) : 50,000
کلمات کلیدی مربوط به کتاب تئوری های متحد برنامه های برنامه ریزی و روش های مهندسی رسمی: مدرسه آموزش بین المللی مهندسی نرم افزار، برگزار شده در ICTAC 2013، شانگهای، چین، 26-30 اوت 2013، سخنرانی های پیشرفته: تئوری محاسبات، مهندسی نرم افزار، هوش مصنوعی (شامل رباتیک)
در صورت تبدیل فایل کتاب Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب تئوری های متحد برنامه های برنامه ریزی و روش های مهندسی رسمی: مدرسه آموزش بین المللی مهندسی نرم افزار، برگزار شده در ICTAC 2013، شانگهای، چین، 26-30 اوت 2013، سخنرانی های پیشرفته نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب تئوری های متحد برنامه های برنامه ریزی و روش های مهندسی رسمی: مدرسه آموزش بین المللی مهندسی نرم افزار، برگزار شده در ICTAC 2013، شانگهای، چین، 26-30 اوت 2013، سخنرانی های پیشرفته
این کتاب 5 سخنرانی آموزشی توسط محققان برجسته ارائه می‌دهد که در دانشکده مهندسی نرم‌افزار ICTAC 2013 در مورد یکپارچه‌سازی نظریه‌های برنامه‌نویسی و روش‌های مهندسی رسمی، که در شانگهای، چین در آگوست 2013 برگزار شد، ارائه می‌شود. هدف این سخنرانی‌ها دانشجویان کارشناسی ارشد، محققان، دانشگاهیان است. ، و مهندسان صنایع. آنها موضوعاتی مانند سیستم‌های مبتنی بر مؤلفه و سرویس‌محور، سیستم‌های بلادرنگ، سیستم‌های ترکیبی، سیستم‌های فیزیکی سایبری را پوشش می‌دهند و تکنیک‌هایی مانند اثبات قضیه استقرایی، بررسی مدل، تصحیح با ساخت از طریق اصلاح و تبدیل مدل، سنتز، و جبر کامپیوتری دو تا از دوره ها به صراحت با Hoare و He's Unifying Theorys of Programming مرتبط هستند.
توضیحاتی درمورد کتاب به خارجی
This book presents 5 tutorial lectures by leading researchers given at the ICTAC 2013 Software Engineering School on Unifying Theories of Programming and Formal Engineering Methods, held in Shanghai, China in August 2013.The lectures are aimed at postgraduate students, researchers, academics, and industrial engineers. They cover topics such as component-based and service-oriented systems, real-time systems, hybrid systems, cyber physical systems, and present techniques such as inductive theorem proving, model checking, correction by construction through refinement and model transformations, synthesis, and computer algebra. Two of the courses are explicitly related to Hoare and He's Unifying Theories of Programming.
فهرست مطالب
Front Matter....Pages -
rCOS: Defining Meanings of Component-Based Software Architectures....Pages 1-66
Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems....Pages 67-108
Unifying Theories of Programming in Isabelle....Pages 109-155
FORMULA 2.0: A Language for Formal Specifications....Pages 156-206
Formal Modelling, Analysis and Verification of Hybrid Systems....Pages 207-281
Back Matter....Pages -
