Titre :	Logique temporelle : sémantique et validation de programmes parallèles
Type de document :	texte imprimé
Auteurs :	Eric Audureau ; Patrice Enjalbert ; Luis Farinas Del Cerro
Editeur :	Paris : Masson
Année de publication :	1990
Collection :	Etudes et recherches en informatique
Importance :	240 p.
Format :	24 cm
ISBN/ISSN/EAN :	222581967
Langues :	Français (fre)
Catégories :	Infomatique
Tags :	Informatique  programmation
Index. décimale :	004 Traitement de données. Informatique
Permalink :	https://bu.umc.edu.dz/catalogue/index.php?lvl=notice_display&id=4030

Logique temporelle : sémantique et validation de programmes parallèles [texte imprimé] / Eric Audureau ; Patrice Enjalbert ; Luis Farinas Del Cerro . - Paris : Masson, 1990 . - 240 p. ; 24 cm. - (Etudes et recherches en informatique) .
ISSN : 222581967
Langues : Français (fre)

Catégories :	Infomatique
Tags :	Informatique  programmation
Index. décimale :	004 Traitement de données. Informatique
Permalink :	https://bu.umc.edu.dz/catalogue/index.php?lvl=notice_display&id=4030