NantilusVérification temporelle de programmes ELECTRE
Enregistré dans:
| Auteur principal : | |
|---|---|
| Format : | Thèse ou mémoire |
| Langue : | français |
| Titre complet : | Vérification temporelle de programmes ELECTRE |
| Publié : |
1995 |
| Description matérielle : | 120 p |
| Note de thèse : | Th. : Sci. : Nantes : 1995 ; 2101 |
| Sujets : |
BU Sciences
| | Cote | Prêt | Statut |
|---|---|---|---|
| Magasin aérotherme | 95 NANT 2101 | Empruntable | Disponible |
| Magasin aérotherme | 95 NANT 2101 | Exclu du prêt | Disponible |
Bib. Centrale Nantes
| | Cote | Prêt | Statut |
|---|---|---|---|
| Magasin 3 | TH 1586 bis | Empruntable | Disponible |
| Magasin 3 | TH 1586 | Exclu du prêt | Disponible |