| Record ID | harvard_bibliographic_metadata/ab.bib.13.20150123.full.mrc:854996139:2842 |
| Source | harvard_bibliographic_metadata |
| Download Link | /show-records/harvard_bibliographic_metadata/ab.bib.13.20150123.full.mrc:854996139:2842?format=raw |
LEADER: 02842nam a22005055a 4500
001 013770063-6
005 20131004190636.0
008 130821s2013 gw | s ||0| 0|eng d
020 $a9783642397219
020 $a9783642397219
020 $a9783642397202
024 7 $a10.1007/978-3-642-39721-9$2doi
035 $a(Springer)9783642397219
040 $aSpringer
050 4 $aQA75.5-76.95
072 7 $aUY$2bicssc
072 7 $aUYA$2bicssc
072 7 $aCOM014000$2bisacsh
072 7 $aCOM031000$2bisacsh
082 04 $a004.0151$223
100 1 $aLiu, Zhiming,$eeditor.
245 10 $aUnifying Theories of Programming and Formal Engineering Methods :$bInternational Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures /$cedited by Zhiming Liu, Jim Woodcock, Huibiao Zhu.
264 1 $aBerlin, Heidelberg :$bSpringer Berlin Heidelberg :$bImprint: Springer,$c2013.
300 $aXII, 283 p. 50 illus.$bonline resource.
336 $atext$btxt$2rdacontent
337 $acomputer$bc$2rdamedia
338 $aonline resource$bcr$2rdacarrier
347 $atext file$bPDF$2rda
490 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v8050
505 0 $arCOS: Defining Meanings of Component-Based Software Architectures -- Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems -- Unifying Theories of Programming in Isabelle -- FORMULA 2.0: A Language for Formal Specifications -- Formal Modelling, Analysis and Verification of Hybrid Systems.
520 $aThis 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.
650 24 $aArtificial Intelligence (incl. Robotics)
650 20 $aSoftware engineering.
650 10 $aComputer science.
650 0 $aComputer science.
650 0 $aSoftware engineering.
650 0 $aInformation theory.
650 0 $aArtificial intelligence.
650 24 $aTheory of Computation.
700 1 $aZhu, Huibiao,$eeditor.
700 1 $aWoodcock, Jim,$eeditor.
776 08 $iPrinted edition:$z9783642397202
830 0 $aLecture Notes in Computer Science ;$v8050.
988 $a20130904
906 $0VEN