Modélisation et vérification des processus parallèles : MOVEP'2k : Actes de l'école d'été, proceedings of the summer school, Ecole Centrale de Nantes, 19-23 juin 2000
Saved in:
Corporate Author : | |
---|---|
Other Authors : | |
Format : | Book |
Language : | anglais |
Title statement : | Modélisation et vérification des processus parallèles : MOVEP'2k = MOdelling and VErification of Parallel processes : MOVEP'2k : Actes de l'école d'été, proceedings of the summer school, Ecole Centrale de Nantes, 19-23 juin 2000 / éd. par F. Cassez, C. Jard, B. Rozoy and M. Ryan |
Published : |
Nantes :
Ecole Centrale de Nantes
, 2000 |
Physical Description : | 305 p. |
Subjects : |
Bib. Centrale Nantes
Location | Call Number | Loan type | Status |
---|---|---|---|
Magasin 2 | 13214 | Empruntable | Available |
Magasin 2 | 13215 | Empruntable | Available |