このページのリンク

Predicate transformer semantics / Ernest G. Manes.
(Cambridge tracts in theoretical computer science. ; 33)

データ種別 図書
出版者 Cambridge : Cambridge University Press
出版者 New York
出版年 1992.
大きさ 223 p. : ill. ; 26 cm.
目次/あらすじ

所蔵情報を非表示


ASRS 007.64/Ma437p 04364100
0521420369

書誌詳細を非表示

一般注記 Includes bibliographical references (p. 216-220) and index.
著者標目 Manes, Ernest G.,(1943-)
件 名 Programming languages (Electronic computers)--Semantics
Computer science--Mathematics
分 類 NDC:007.64
書誌ID 1000178803
ISBN 0521420369

 類似資料