Chargement...
Chargement...
  1. Auteur
  2. Audureau, Eric

Livres Eric Audureau

Auteur

Support

Série
Disponibilité

1
Logique temporelle : sémantique et validation de programmes parallèles
Logique temporelle : sémantique et validation de programmes parallèles
Auteur : Eric Audureau
Éditeur(s) : Elsevier Masson
Introduction à la logique modale et temporelle et aux différents formalismes utilisés en théorie de la programmation. ©Electre 2026
22,50 €
Chargement...
1