Andere Kunden interessierten sich auch für
![Application and Theory of Petri Nets and Concurrency]( "Application and Theory of Petri Nets and Concurrency")
Application and Theory of Petri Nets and Concurrency37,99 €![Formal Methods for Industrial Critical Systems]( "Formal Methods for Industrial Critical Systems")
Formal Methods for Industrial Critical Systems36,99 €![Logic-Based Program Synthesis and Transformation]( "Logic-Based Program Synthesis and Transformation")
Logic-Based Program Synthesis and Transformation37,99 €![Perspectives of System Informatics]( "Perspectives of System Informatics")
Perspectives of System Informatics37,99 €![Foundations of Software Science and Computation Structures]( "Foundations of Software Science and Computation Structures")
Foundations of Software Science and Computation Structures37,99 €![NASA Formal Methods]( "NASA Formal Methods")
NASA Formal Methods37,99 €![Automated Technology for Verification and Analysis]( "Automated Technology for Verification and Analysis")
Automated Technology for Verification and Analysis37,99 €
This book constitutes the refereed proceedings of the 5th International Symposium on Unifying Theories of Programming, UTP 2014, held in Singapore, Singapore, in May 13, 2014, co-located with the 19th International Symposium on Formal Methods, FM 2014. The 7 revised full papers presented together with one invited talk were carefully reviewed and selected from 11 submissions. They deal with numerous formal notations and theories of programming, such as abstraction, refinement, choice, termination, feasibility, locality, concurrency and communication.