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

Saved in:
Bibliographic Details
Corporate Author : MOVEP 2000 Nantes, France 2000
Other Authors : Cassez Franck (Éditeur scientifique)
Format : Book
Language : anglais
Title statement : Modeling and verification of parallel processes : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 / Franck Cassez ... (eds.)
Published : Berlin : Springer , 2001
Physical Description : X-223 p.
Series : Lecture notes in computer science ; 2067
Subjects :
Parallélisme (informatique) > Congrès
Parallel processing (Electronic computers)

Bib. Centrale Nantes

Holdings details from Bib. Centrale Nantes
Location Call Number Loan type Status
Bibliothèque 681.3 A05 MOD Empruntable Available