Computer programming and formal systems

Enregistré dans:
Détails bibliographiques
Autres auteurs: Braffort, Paul, 1923- (Éditeur intellectuel), Hirschberg, D. (Éditeur intellectuel)
Format: Livre papier
Langue:Anglais
Publié: Amsterdam : North-Holland Pub. Co. 1970.
Collection:Studies in logic and the foundations of mathematics
Sujets:
Autres localisations: Voir dans le Sudoc
Description
Description matérielle:1vol. (VI-161 p.) : ill. ; 22 cm.
Bibliographie:Bibliogr. p.159-161