m

F Nous contacter

0

Documents  Enjalbert, Patrice | enregistrements trouvés : 1

O
     

-A +A

P Q

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