Computer programming and formal systems

This book is 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 theo...

Full description

Bibliographic Details

Corporate Author:	ScienceDirect (Online service)
Other Authors:	Braffort, P. (Paul) (Editor), Hirschberg, D. (David) (Editor)
Format:	eBook
Language:	English
Published:	Amsterdam, North-Holland Pub. Co., 1963.
Series:	Studies in logic and the foundations of mathematics.
Subjects:	Computer programming. Programmation (Ordinateurs) Programmation (Informatique) computer programming. Computer programming Programmation informatique. Formale Sprache Programmierung Computer science > Mathematics. Ordinateurs > Programmation. Electronic books.
Online Access:	Connect to the full text of this electronic book