LEADER 00786nam0-22002651i-450-
001 990006251290403321
005 20040722144011.0
035   $a000625129
035   $aFED01000625129
035   $a(Aleph)000625129FED01
035   $a000625129
100   $a20000112d1937----km-u0itay50------ba
105   $a--------00-yy
200 1 $aStudi e documenti$fReale Accademia d'Italia
210   $aRoma$cReale Accademia d'Italia$d1937
215   $av.$d24 cm
676   $a945
710 02$aAccademia nazionale dei Lincei$04172
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990006251290403321
951   $aXXI COLLEZ. 63$bv.schedone$eBiblioteca Centrale della Facoltą di Giurisprudenza$fFGBC
959   $aFGBC
996   $aStudi e documenti$9639297
997   $aUNINA

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