Une sémantique formelle pour le langage orienté objet concurrent mondel basée sur les ECATNets
Thèses / mémoires Ecrit par: Adjir, Noureddine ; Zaidi, S. ; Bettaz, M. ;
Oran:
Langue:
Français
Collation:
104 p. ill.
;30 cm.
Diplôme:
Magister
Etablissement de soutenance:
Oran, Université des Sciences et de la Technologie. Faculté des Sciences
Spécialité:
Informatique
Index décimal
005.42 .Programmation informatique des systèmes (programmation des systèmes d'exploitation, programmation pour les systèmes d'exploitation, rédaction des programmes de systèmes)
Thème
Informatique
Mots clés:
Programmation orientée objets (informatique)
Langages de programmation -- Sémantique
Note: Bibliogr. pp.102-104
Une sémantique formelle pour le langage orienté objet concurrent mondel basée sur les ECATNets