Titre :	Logique temporelle : sémantique et validation de programmes parallèles
Type de document :	texte imprime
Auteurs :	Audureau, Éric, Auteur ; Enjalbert, Patrice, Auteur ; Fariñas del Cerro, Luis, Auteur ; Engeler, Erwin, Préfacier, etc.
Editeur :	Paris : Masson
Année de publication :	1990
Collection :	Etude et recherche en informatique
Importance :	(VI-234 p.)
Présentation :	ill.
Format :	25 cm
ISBN/ISSN/EAN :	978-2-225-81967-4
Note générale :	Bibliogr. p. 225-232. Index
Langues :	Français
Mots-clés :	Langages de programmation:sémantique  Parallélisme (informatique)  Modalité (logique)  Programmation logique  Programmation parallèle (informatique)
Index. décimale :	005131/00432
Permalink :	./index.php?lvl=notice_display&id=11852

Logique temporelle : sémantique et validation de programmes parallèles [texte imprime] / Audureau, Éric, Auteur ; Enjalbert, Patrice, Auteur ; Fariñas del Cerro, Luis, Auteur ; Engeler, Erwin, Préfacier, etc. . - Paris : Masson, 1990 . - (VI-234 p.) : ill. ; 25 cm. - (Etude et recherche en informatique) .
ISBN : 978-2-225-81967-4

Bibliogr. p. 225-232. Index
Langues : Français

Mots-clés :	Langages de programmation:sémantique  Parallélisme (informatique)  Modalité (logique)  Programmation logique  Programmation parallèle (informatique)
Index. décimale :	005131/00432
Permalink :	./index.php?lvl=notice_display&id=11852