Modeling and verification of parallel processes : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000

Modeling and verification of parallel processes : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000

Détails bibliographiques
Collectivité auteur : MOVEP 2000 Nantes, France 2000
Autres auteurs : Cassez Franck (Éditeur scientifique)
Format : Livre
Langue : anglais
Titre complet : Modeling and verification of parallel processes : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 / Franck Cassez ... (eds.)
Publié : Berlin : Springer , 2001
Description matérielle : X-223 p.
Collection : Lecture notes in computer science ; 2067
Sujets :
Parallélisme (informatique) > Congrès
Parallel processing (Electronic computers)
Description
Bibliographie : Bibliogr..
ISBN : 3-540-42787-2