沃新书屋 - Computer Programming and Formal Systems - 出版社:North-Holland Publishing Company

North-Holland Publishing Company

出版社信息:

类型:

成立时间:

出版社特色:

出版社简介:

暂无相关内容,正在全力查找中


Computer Programming and Formal Systems书籍相关信息

Computer Programming and Formal Systems精美图片

内容简介:

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.