圖書標籤: 計算機 system mathematical logic formal computation
发表于2024-09-06
Computer Programming and Formal Systems pdf epub mobi txt 電子書 下載 2024
A product of two seminars held in the IBM World Trade European Education Center of Blaricum (Holland) in 1961, the first of which was dedicated to a general survey of non-numerical applications of computers whereas the second was more specifically concerned with some aspects of the theory of formal systems.
評分
評分
評分
評分
Computer Programming and Formal Systems pdf epub mobi txt 電子書 下載 2024