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

Zapisane w:
Opis bibliograficzny
Autor: Livercy, C.
Pozostali autorzy: Finance, Jean-Pierre, Pair, Claude (1934- ). (Przedm.)
Format: Książka
Język:francuski
Wydane: Paris : Dunod, 1978.
Seria:Dunod Informatique. Phase Formation
Hasła przedmiotowe:
Opis
Opis fizyczny:XII, 328 s. : il. ; 24 cm.
Bibliografia:Indeks.
ISBN:2040105166