Computer Programming and Formal Systems 在线电子书 图书标签: 计算机 system mathematical logic formal computation
发表于2024-11-26
Computer Programming and Formal Systems 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 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 下载 txt下载 epub 下载 mobi 下载 2024