Vérification à la volée de propriétés des exécutions réparties

dc.contributor.author	Habili, Noureddine
dc.date.accessioned	2017-04-24T13:45:10Z
dc.date.available	2017-04-24T13:45:10Z
dc.date.issued	1997
dc.identifier.uri	http://hdl.handle.net/123456789/5342
dc.description	90 p. ; 30 cm.(+ microfiche).	fr_FR
dc.language.iso	fr	fr_FR
dc.subject	Informatique, système réparti	fr_FR
dc.subject	Algorithme, informatique	fr_FR
dc.title	Vérification à la volée de propriétés des exécutions réparties	fr_FR
dc.type	Thesis	fr_FR