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:
Bibliographic Details
Corporate Author : MOVEP' 4 Nantes 2000
Other Authors : Cassez Franck (Éditeur scientifique)
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

Holdings details from Bib. Centrale Nantes
Location Call Number Loan type Status
Magasin 2 13214 Empruntable Available
Magasin 2 13215 Empruntable Available