TY  - BOOK
AU  - Livercy,C.
AU  - Finance,Jean-Pierre
AU  - Pair,Claude
ED  - Dunod (Paryż).
TI  - Théorie des programmes: schémas, preuves, sémantique 
T2  - Dunod Informatique. Phase Formation
SN  - 2040105166
PY  - 1978///
CY  - Paris
PB  - Dunod
KW  - Informatyka
KW  - kaba
N1  - Indeks
ER  -