Computer programming and formal systems [monographie] |
| Auteur(s): | Braffort, Paul (1923-....) (Ed.) Hirschberg, David (Ed.) |
| Langue: | anglais |
| Collection: | Studies in logic and the foundations of mathematics |
| Editeur, date d'édition: | North-Holland Publishing Company, Inc., 1963 |
| Ville(s) d'édition: | Amsterdam (NL) |
| ISSN: | 0049-237X |
| Classification MSC: | 68.00 (2000) |
| Notes: | vi ; bibliogr. pp159-161 ; 23 cm (Autre tirage : 1967) ; 161 p. |
| Thèmes: | programmation, ordinateur, automate, systeme formel, machine logique |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 BRA 63 | Disponible |