Théorie des programmes : schémas, preuves, sémantique / par C. Livercy ; nom coll. de: Jean-Pierre Finance [et al.] ; préface C. Pair.

Збережено в:
Бібліографічні деталі
Автор: Livercy, C.
Інші автори: Finance, Jean-Pierre, Pair, Claude (1934- ). (Przedm.)
Формат: Книга
Мова:Французька
Опубліковано: Paris : Dunod, 1978.
Серія:Dunod Informatique. Phase Formation
Предмети: