LEADER 01155nam--2200361---450-
001 990000350050203316
035   $a0035005
035   $aUSA010035005
035   $a(ALEPH)000035005USA01
035   $a0035005
100   $a20010306d1980----km-y0itay0103----ba
101   $aeng
102   $aDE
105   $a||||||||001yy
200 1 $aAbstract software specifications$e1979 Copenhagen Winter School$ejanuary 22 - February 2, 1979$eproceedings$fedited by D. Bjorner
210   $aBerlin$cSpringer Verlag$d1980
215   $aXI, 566 p.$cill.$d24 cm
225 2 $aLecture notes in computer science$v86
410   $12001$aLecture notes in computer science$v86
461  1$1001-------$12001
676   $a511.3
702  1$aBJORNER,$bD.
801  0$aIT$bsalbc$gISBD
912   $a990000350050203316
951   $a001 LNCS 86A$b9715$c001 LNCS$d00101429
951   $a001 LNCS 86B$b6482$c001 LNCS$d00101428
959   $aBK
969   $aSCI
979   $aPATTY$b90$c20010306$lUSA01$h1659
979   $c20020403$lUSA01$h1643
979   $aPATRY$b90$c20040406$lUSA01$h1624
996   $aAbstract software specifications$9878546
997   $aUNISA