Approches formelles pour l'aide au développement de logiciels

dc.contributor.author	Yves, Ledru
dc.date.accessioned	2024-11-21T13:18:36Z
dc.date.available	2024-11-21T13:18:36Z
dc.date.issued	2001
dc.identifier.isbn	2746203308
dc.identifier.uri	https://di.univ-blida.dz/jspui/handle/123456789/34170
dc.description	Bibliogr.-127 p.fig.24cm.	fr_FR
dc.language.iso	fr	fr_FR
dc.publisher	Hermès science publications	fr_FR
dc.subject	Logiciels : développement	fr_FR
dc.subject	congrès	fr_FR
dc.title	Approches formelles pour l'aide au développement de logiciels	fr_FR
dc.type	Book	fr_FR