NantilusModélisation et vérification des processus parallèles : MOVEP'98 : Actes de l'Ecole d'été, Ecole Centrale de Nantes, 6-9 juillet 1998
Enregistré dans:
| Collectivité auteur : | |
|---|---|
| Autres auteurs : | |
| Format : | Livre |
| Langue : | français anglais |
| Titre complet : | Modélisation et vérification des processus parallèles : MOVEP'98 : Actes de l'Ecole d'été, Ecole Centrale de Nantes, 6-9 juillet 1998 / éd. par F. cassez, C. Jard, O. Roux et B. Rozoy |
| Publié : |
Nantes :
Ecole Centrale de Nantes
, 1998 |
| Description matérielle : | 281 p. |
Bib. Centrale Nantes
| | Cote | Prêt | Statut |
|---|---|---|---|
| Magasin 2 | 12434 | Empruntable | Disponible |