m

F Nous contacter

0

Documents  Audureau, Eric | enregistrements trouvés : 2

O
     

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 289 p.
ISBN 978-2-222-03464-3

C.n.r.s. centre regional de publications de marseille

Localisation : Ouvrage RdC (AUDU)

00A06 ; 00A30 ; 03A05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 232 p.
ISBN 978-2-225-81967-4

Etudes et recherches en informatique

Localisation : Ouvrage RdC (AUDU)

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

03B45 ; 03B70 ; 68Q55 ; 68Q60

... Lire [+]

Z