Author :
Braffort, Paul, ed
Title :
Computer programming and formal systems
Author Statement :
Edited by P. Braffort and D. Hirschberg
Publication :
North-Holland Pub. Co
Collation :
vi, 161 p. illus. 22 cm
Series :
Studies in logic and the foundations of mathematics
Notes :
Imprint covered by label: New York, Humanities Press
Subject :
Programming (Electronic computers)- Addresses, essays, lectures
ADDED ENTRIES :
Hirschberg, D. (David), joint ed
Biblography :
Includes bibliographies
