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
