Exécution symbolique arrière pour la vérification, le test et la génération automatique, de programmes

dc.contributor.author	Aleb, Nassima
dc.contributor.author	Nadjet, Kamel
dc.date.accessioned	2014-11-09T10:29:55Z
dc.date.available	2014-11-09T10:29:55Z
dc.date.issued	2013
dc.identifier.uri	http://hdl.handle.net/123456789/190
dc.description	114 p. : ill. ; 30 cm. (+ CD-Rom)	fr_FR
dc.language.iso	fr	fr_FR
dc.subject	Logiciels : Vérification	fr_FR
dc.subject	Logiciels	fr_FR
dc.subject	Filtres (informatique)	fr_FR
dc.subject	Logiciels : Essais	fr_FR
dc.title	Exécution symbolique arrière pour la vérification, le test et la génération automatique, de programmes	fr_FR
dc.type	Thesis	fr_FR