Logique temporelle : sémantique et validation de programmes parallèles
Éditeur: Elsevier Masson
1990240 pagesISBN 9782225819674
Format: ReliéLangue : Français
Introduction à la logique modale et temporelle et aux différents formalismes utilisés en théorie de la programmation.
Ce livre est proposé par (0) membre(s)
Ce livre est mis en favori par (0) membre(s)