LEADER 01175nam2-2200361li-450 001 990000205630203316 005 20180312154702.0 010 $a3-540-66624-9 035 $a0020563 035 $aUSA010020563 035 $a(ALEPH)000020563USA01 035 $a0020563 100 $a20001109d1999----km-y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $aCorrect system design$erecent insights and advantages$fErnst-Rudiger Olderog ... [et al.](eds.) 210 $aBerlin$cSpringer-Verlag$dcopyr. 1999 215 $aXIV, 415 p.$cill.$d24 cm 225 2 $aLecture notes in computer science$v1710 410 0$10010020264$12001$aLecture notes in computer science 702 1$aOlderog,$bErnst-Rudiger 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000205630203316 951 $a001 LNCS (1710)$b0024384$c001$d00100923 959 $aBK 969 $aSCI 979 $c19990104 979 $c20001110$lUSA01$h1714 979 $aALANDI$b90$c20010209$lUSA01$h1751 979 $c20020403$lUSA01$h1628 979 $aPATRY$b90$c20040406$lUSA01$h1615 996 $aCorrect system design$91489199 997 $aUNISA