Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules
- 種類:
- 図書
- 責任表示:
- Wim H. Hesselink
- 出版情報:
- Cambridge ; New York : Cambridge University Press, 1992
- 著者名:
- Hesselink, Wim H. <DA07175192>
- シリーズ名:
- Cambridge tracts in theoretical computer science ; 27 <BA01121831>
- ISBN:
- 9780521404365 [0521404363]
- 注記:
- Bibliographical references: p. [217]-220
Includes index
類似資料:
Cambridge University Press | |
Cambridge University Press | |
Cambridge University Press |
ADDISON-WESLEY PUB. |
CAMBRIDGE UNIV. PRESS |
ADDISON-WESLEY PUB. |
Clarendon Press | |
Cambridge University Press |