m

F Nous contacter

0
     
Ouvrage

H 0 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)

Masson

1990

232 p.

978-2-225-81967-4

00016445

03B45 ; 03B70 ; 68Q55 ; 68Q60

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


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00016445 [disponible]
Z