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:
Collectivité auteur : | |
---|---|
Autres auteurs : | |
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 : |
Table des matières indisponible