Record:   Prev Next
作者 Back, R. J. R
書名 Correctness preserving program refinements : proof theory and applications / R.J.R. Back
出版項 Amsterdam : Mathematisch centrum, 1980
國際標準書號 9061962072 (pbk.)
book jacket
館藏地 索書號 處理狀態 OPAC 訊息 條碼
 數學所圖書室  QA76.6 .B27 1980    在架上    30340200162737
說明 118 p. ; 24 cm
系列 Mathematical Centre tracts ; 131
附註 Revision of thesis (doctoral)--University of Helsinki, 1978
Bibliography: p. 109-112
Includes indexes
主題 Electronic digital computers -- Programming
Record:   Prev Next