Optimization and implementation of techniques for the verification of infinite data softwares

dc.contributor.author	Saidi, Selma
dc.date.accessioned	2015-03-23T11:21:56Z
dc.date.available	2015-03-23T11:21:56Z
dc.date.issued	2008
dc.identifier.uri	http://hdl.handle.net/123456789/2381
dc.description	64 p. : ill. ; 30 cm. (+ CD-Rom)	fr_FR
dc.language.iso	fr	fr_FR
dc.subject	Logiciels : vérification	fr_FR
dc.subject	Design patterns	fr_FR
dc.title	Optimization and implementation of techniques for the verification of infinite data softwares	fr_FR
dc.type	Thesis	fr_FR