Chargement...
Chargement...
Auteur Audureau, Eric
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 2025
22,50 €
Chargement...
1