LEADER 01450nam0-2200445li-450-
001 990000270630203316
010   $a0-387-94896-1
035   $a0027063
035   $aUSA010027063
035   $a(ALEPH)000027063USA01
035   $a0027063
100   $a20001109d1991997-km-y0itay0103----ba
101 0 $aeng
102   $aGW
200 1 $aVerification of sequential and concurrent programs$fKrzysztof R. Apt, Ernst-Rudiger Olderog
205   $a2nd ed
210   $aBerlino$cSpringer-Verlag$dcopyr. 1997
215   $aXVII, 364 p.$cill.$d23 cm. -
225   $aGraduate texts in computer science
410   $12001$aGraduate texts in computer science
601 1 $aElaboratori elettronici$xProgrammazione
601 1 $asoftware$xVverifica
676   $a0051
700  1$aApt,$bKrzysztof R.$0753382
702  1$aOlderog,$bErnst-Rudiger
801   $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA
912   $a990000270630203316
951   $a005.1 APT$b0021180$c005.1$d00106364
951   $a005.14 APT$b10552 ING$c005.14
959   $aBK
969   $aSCI
969   $aTEC
979   $c19980127
979   $c20001110$lUSA01$h1716
979   $aALANDI$b90$c20010316$lUSA01$h1556
979   $aPATTY$b90$c20010427$lUSA01$h1707
979   $c20020403$lUSA01$h1635
979   $aPATRY$b90$c20040406$lUSA01$h1619
996   $aVerification of sequential and concurrent programs$91515518
997   $aUNISA