Record:   Prev Next
作者 Roever, W. P. de
書名 Recursive program schemes : semantics and proof theory / W. P. de Roever, Jr
出版項 Amsterdam : Mathematisch Centrum, 1976
國際標準書號 9061961270
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA76.7 .R63    在架上    30340200162471
說明 ix, 112 p. ; 24 cm
系列 Mathematical Centre tracts ; 70
Mathematical Centre tracts ; 70
附註 Bibliography: p. 108-112
主題 Programming languages (Electronic computers) -- Semantics
Recursive programming
Proof theory
Record:   Prev Next