# Logique temporelle : sémantique et validation des programmes parallèles

> Fiche œuvre du catalogue https://superlivre.fr/livre/logique-temporelle-12fb291dea3e (données du dépôt légal BnF).

- **Auteurs** : [Éric Audureau](https://superlivre.fr/auteur/eric-audureau-cb12157809n), [Patrice Enjalbert](https://superlivre.fr/auteur/patrice-enjalbert-cb12157810v), [Luis Fariñas del Cerro](https://superlivre.fr/auteur/luis-farinas-del-cerro-cb121578116)
- **Première parution** : 1990
- **Langue** : français
- **Genres** : [Programmation logique](https://superlivre.fr/genre/programmation-logique-cb12067891q), [Programmation parallèle (informatique)](https://superlivre.fr/genre/programmation-parallele-informatique-cb11968760t)
- **Éditions recensées** : 1 (1990–1990)

## Éditions

| Année | Éditeur | Ville | Pages | ISBN |
|---|---|---|---|---|
| 1990 | [Masson](https://superlivre.fr/editeur/masson) | Paris. - Milan. - Barcelone | 234 | 2-225-81967-X |