Théorie des programmes : schémas, preuves, sémantique / par C. Livercy ; nom coll. de: Jean-Pierre Finance [et al.] ; préface C. Pair.
Збережено в:
| Автор: | |
|---|---|
| Інші автори: | , |
| Формат: | Книга |
| Мова: | Французька |
| Опубліковано: |
Paris :
Dunod,
1978.
|
| Серія: | Dunod Informatique. Phase Formation
|
| Предмети: |
| Фізичний опис: | XII, 328 s. : il. ; 24 cm. |
|---|---|
| Бібліографія: | Indeks. |
| ISBN: | 2040105166 |