Andere Kunden interessierten sich auch für
![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 €![Formal Methods for Industrial Critical Systems]( "Formal Methods for Industrial Critical Systems")
Formal Methods for Industrial Critical Systems36,99 €![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 €![Logic-Based Program Synthesis and Transformation]( "Logic-Based Program Synthesis and Transformation")
Logic-Based Program Synthesis and Transformation37,99 €![Computer Aided Verification]( "Computer Aided Verification")
Computer Aided Verification75,99 €![Theoretical Aspects of Computing ¿ ICTAC 2014]( "Theoretical Aspects of Computing ¿ ICTAC 2014")
Theoretical Aspects of Computing ¿ ICTAC 201437,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.