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

Enregistré dans:
Détails bibliographiques
Collectivité auteur : MOVEP' 4 Nantes 2000
Autres auteurs : Cassez Franck (Éditeur scientifique)
Format : Livre
Langue : anglais
Titre complet : 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
Publié : Nantes : Ecole Centrale de Nantes , 2000
Description matérielle : 305 p.
Sujets :
Description
Variantes de titre : MOVEP'2k : [A [B