دانلود کتاب Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC

Name: Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC
Availability: InStock
Author: Zhiming Liu
ISBN: 9783642397202

by Zhiming Liu

عنوان فارسی: نظریه وحدت بخش برنامه نویسی و روش های مهندسی رسمی: مدرسه آموزش بین المللی مهندسی نرم افزار، برگزار شد، در ICTAC
ناشر: Springer
سال: 2013
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 283
شابک: 9783642397202
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 3.00 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

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.

کتاب های مرتبط

این کتاب رو مطالعه کردید؟ نظر شما چیست؟

برای ارسال نظر، لطفا وارد شوید.

نظر دهید

Adding comments has been disabled.

نظرات (0)

هنوز نظری داده نشده است. شما اولین باشید!