- 232 p.
Cote : 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
03B45 ; 03B70 ; 68Q55 ; 68Q60
Localisation : Ouvrage RdC (AUDU)