Modeling and verification of parallel processes : 4th summer school, MOVEP 2000, Nantes, France, Jun - detaljert visning

Modeling and verification of parallel processes : 4th summer school, MOVEP 2000, Nantes, France, June 19-23, 2000 : revised tutorial lectures

MOVEP 2000
Bok Engelsk 2001


Utgitt	Berlin : Springer , c2001
Omfang	X, 222 s. : ill.
Emner	Parallell databehandling - Modellering og simulering Parallellprogrammering Parallellprosessering
ISBN	3540427872