Korso, Lila2015-05-102015-05-102004https://dspace.univ-boumerdes.dz/jspui/handle/123456789/92071 p. : ill. ; 30 cmfrSystème X-caculMachine SECDUne machine abstraite pour le système XcB+ -calculThesis