Logique temporelle
sémantique et validation de programmes parallèles
Audureau, Eric (Principal) ; Enjalbert, Patrice (Co-auteur) ; Farinas del Cerro , Luis (Co-auteur) ; Engeler, Erwin (Préfacier)
1990
232 p.
978-2-225-81967-4
00016445
algorithme parallèle # logique modale # logique temporelle # parallèle # programme parallèle # programme séquentiel # système distribué # sémantique # validation de programmes # vérification de programme
Ville d'édition : Barcelone ; Milan ; Paris
Pays d'édition : France
Langue : Français
EAN13 : 9782225819674
ISBN : 2-225-81967-X
Collation : Bibliogr. ; fig.#25 cm#rel. ; Index ; vi
Collection : Etudes et recherches en informatique
Localisation : Ouvrage RdC (AUDU)
Type d'ouvrage : Monographie
Disponibilité : empruntable
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00016445 | [disponible] |