Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules
- フォーマット:
- 図書
- 責任表示:
- Wim H. Hesselink
- 言語:
- 英語
- 出版情報:
- Cambridge ; New York : Cambridge University Press, 1992
- 形態:
- xii, 223 p. ; 26 cm
- 著者名:
- Hesselink, Wim H. <DA07175192>
- シリーズ名:
- Cambridge tracts in theoretical computer science ; 27 <BA01121831>
- 書誌ID:
- BA14406674
- ISBN:
- 9780521404365 [0521404363]
類似資料:
Cambridge University Press |
PRENTICE-HALL INTERNATIONAL |
Springer-Verlag |
MCGRAW-HILL |
Birkhauser Boston |
PRENTICE HALL |
SPRINGER-VLG |
Cambridge University Press |
SPRINGER-VLG |
Association for Computing Machinery |