文件名称：Unifying Theories of Programming - C.A.R. Hoare and He Jifeng, 1998.pdf
文件大小：12.31MB
文件格式：PDF
更新时间：2017-06-14 07:10:59
UTP UToP CSP
Unifying Theories of Programming (UTP) deals with program semantics. It shows how denotational semantics, operational semantics and algebraic semantics can be combined in a unified framework for the formal specification, design and implementation of programs and computer systems.