| Titre : | Théorie des programmes : schémas, preuves, sémantique |
| Auteurs : | C. Livercy, Auteur |
| Type de document : | texte imprimé |
| Editeur : | Paris : Dunod, 1978 |
| Collection : | Dunod informatique. Phase formation, ISSN 0154-5450 |
| Sous-collection : | Phase formation, num. 5 |
| ISBN/ISSN/EAN : | 2-04-010516-6 |
| Format : | XII-328 p. / 24cm |
| Note générale : | Bibliogr. p. 315-322. Index |
| Langues: | Français |
| Index. décimale : | 62 |
| Mots-clés: | Mathématiques ; Informatique ; Programmes ; Théories |
Exemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| 102-000088 | B4216 | Livre | 03. FST | B - Mathématiques - Astronomie | Exclu du prêt |
