00870nam0-22003011i-450-99000047057040332120090319112922.03-540-15239-3000047057FED01000047057(Aleph)000047057FED0100004705720020821d1985----km-y0itay50------baenga-------001yy<<A >>survey of verification techniques for parallel programsHoward BarringerBerlin ; HeidelbergSpringer-Verlag©1985115 p.ill.24 cmLecture notes in computer science191Programmazione parallela004.35Barringer,HowardITUNINARICAUNIMARCBK99000047057040332110 P.T. 407457 DISDINELDINELUNINA