| 书目名称 | Unifying Theories of Programming and Formal Engineering Methods | | 副标题 | International Traini | | 编辑 | Zhiming Liu,Jim Woodcock,Huibiao Zhu | | 视频video | | | 概述 | Thoroughly revised tutorial lectures.Aimed at postgraduate students, researchers, academics, and industrial engineers.Presents state of the art in Unifying Theories of Programming and Formal Engineeri | | 丛书名称 | Lecture Notes in Computer Science | | 图书封面 |  | | 描述 | 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. | | 出版日期 | Textbook 2013 | | 关键词 | Hybrid Hoare Logic; formal modeling; formal specification; interactive theorem proving; model-driven sof | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-642-39721-9 | | isbn_softcover | 978-3-642-39720-2 | | isbn_ebook | 978-3-642-39721-9Series ISSN 0302-9743 Series E-ISSN 1611-3349 | | issn_series | 0302-9743 | | copyright | Springer-Verlag Berlin Heidelberg 2013 |
The information of publication is updating
|
|
发表于 2025-3-21 18:15:16
