Spécification, preuve et extraction automatique des programmes en cop cas : l'algorithme HEB + réduction

Chaabani, Mohamed2015-05-092015-05-092003https://dspace.univ-boumerdes.dz/jspui/handle/123456789/90860 p. , ill. , 30 cmfrCommande automatiqueCommande automatiqueExploration de donnéesProgrammes en copSpécification, preuve et extraction automatique des programmes en cop cas : l'algorithme HEB + réductionThesis