我的圖書館

     
可用條款限制搜索
PRINTED MAT
作者 Windeknecht, Thomas G.

標題 Logical derivation of computer programs / Thomas G. Windeknecht.

出版資料 Exeter, England : Intellect, c1999.

複本

館藏地 索書號 狀態
 IU 2nd Floor  QA76.6 .W553 1999    AVAILABLE
說明 ii, 208 p ; 24 cm.
Bibliography Includes bibliographical references (p. 179-180) and index.
主題 Computer programming -- Mathematics.
國際標準書號 1871516986