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

Simple item page
dc.contributor.authorChaabani, Mohamed
dc.date.accessioned2015-05-09T15:28:28Z
dc.date.available2015-05-09T15:28:28Z
dc.date.issued2003
dc.description60 p. , ill. , 30 cmen_US
dc.identifier.urihttps://dspace.univ-boumerdes.dz/jspui/handle/123456789/908
dc.language.isofren_US
dc.subjectCommande automatiqueen_US
dc.subjectCommande automatiqueen_US
dc.subjectExploration de donnéesen_US
dc.subjectProgrammes en copen_US
dc.titleSpécification, preuve et extraction automatique des programmes en cop cas : l'algorithme HEB + réductionen_US
dc.typeThesisen_US

Files

Original bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
Chaabani Mohamed.pdf
Size:
254.68 KB
Format:
Adobe Portable Document Format
Download

License bundle

Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
1.71 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Magister