LEADER 00870nam0-22003011i-450-
001 990000470570403321
005 20090319112922.0
010   $a3-540-15239-3
035   $a000047057
035   $aFED01000047057
035   $a(Aleph)000047057FED01
035   $a000047057
100   $a20020821d1985----km-y0itay50------ba
101 0 $aeng
105   $aa-------001yy
200 1 $a<<A >>survey of verification techniques for parallel programs$fHoward Barringer
210   $aBerlin ; Heidelberg$cSpringer-Verlag$dİ1985
215   $a115 p.$cill.$d24 cm
225 1 $aLecture notes in computer science$v191
610 0 $aProgrammazione parallela
676   $a004.35
700  1$aBarringer,$bHoward
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000470570403321
952   $a10 P.T. 407$b457 DIS$fDINEL
959   $aDINEL
997   $aUNINA