Sémantique formelle des modèles de parallélisme orientés objets et temps réel

dc.contributor.author	Hammal, Youcef
dc.date.accessioned	2014-11-30T09:25:00Z
dc.date.available	2014-11-30T09:25:00Z
dc.date.issued	2011
dc.identifier.uri	http://hdl.handle.net/123456789/656
dc.description	177 p. : ill. ; 30 cm. (+ CD-Rom)	fr_FR
dc.language.iso	fr	fr_FR
dc.subject	Langages de programmation : Sémantique	fr_FR
dc.subject	Parallélisme (informatique)	fr_FR
dc.subject	Temps réel (informatique)	fr_FR
dc.subject	UML (informatique)	fr_FR
dc.subject	Petri, Réseaux de	fr_FR
dc.subject	Graphes, Théorie des	fr_FR
dc.title	Sémantique formelle des modèles de parallélisme orientés objets et temps réel	fr_FR
dc.type	Thesis	fr_FR