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)

Bib. Centrale Nantes

Informations d'exemplaires de Bib. Centrale Nantes
‌ Cote Prêt Statut
Bibliothèque 681.3 A05 MOD Empruntable Disponible