Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules, : pbk

Programs, recursion and unbounded choice : predicate-transformation semantics and transformation rules, : pbk

Wim H. Hesselink

Cambridge : Cambridge University Press, 2005

図書等

巻号情報

: pbk
No. 所在 請求記号 資料ID 資料タイプ 状況(返却予定日) コレクション 備考 予約・取り寄せ人数

1

007.64-H53

10005023588

一般図書

詳細情報

刊年

2005

形態

xii, 223 p. ; 25 cm

シリーズ名

Cambridge tracts in theoretical computer science ; 27

注記

"This digitally printed first paperback version 2005"--T.p.verso

Bibliographical references: p. [217]-220

Includes index

出版国

イギリス

標題言語

英語 (eng)

本文言語

英語 (eng)

著者情報

Hesselink, Wim H.

ISBN

0521018293 (: pbk)

NCID

BA77914137