Accueil
Vous pouvez faire des propositions d'achat de livres, en utilisant
le formulaire en ligneVous pouvez vérifier au préalable si le document n'est pas disponible dans notre catalogue.
vous cherchez un livre à la bibliothèque centrale?
Logique temporelle, sémantique et validation de programmes parallèles [texte imprimé] / Eric AUDUREAU, Auteur ; Patrice ENJALBERT, Auteur ; Luis FARINAS DEL CERRO, Auteur . - Masson, 1990 . - 234 p. ; 25 cm.. - (Etudes et recherches en informatique) . ISSN : 2-225-81967-x index Langues : Français (fre)
| ![]() |
Exemplaires(1)
| Code-barres | type de document | numéro d'inventaire | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|---|---|
| 00001000381069 | 08-02-632 | Livre | Salle 1 | Documentaires | Exclu du prêt | 62049 |

