Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules
著者
書誌事項
Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules
（Cambridge tracts in theoretical computer science, 27）
Cambridge University Press, 2005
- : pbk
大学図書館所蔵 全2件
注記
"This digitally printed first paperback version 2005"--T.p.verso
Bibliographical references: p. [217]-220
Includes index