LEADER 01094nam0-22003251i-450-
001 990000470440403321
005 20090218122001.0
010   $a3-540-10007-5
035   $a000047044
035   $aFED01000047044
035   $a(Aleph)000047044FED01
035   $a000047044
100   $a20020821d1980----km-y0itay50------ba
101 0 $aeng
105   $aa-------101yy
200 1 $aAbstract software specifications$e1979 Copenhagen winter school, january 22- february 2, 1979 proceedings$fedited by D. Bjorner
210   $aBerlin ; Heidelberg$cSpringer-Verlag$d1980
215   $a566 p.$cill.$d24 cm
225 1 $aLecture notes in computer science$v86
610 0 $aElaboratori digitali elettronici$aCongressi
676   $a001.64'2
702  1$aBjørner,$bDines$f<1937- >
710 12$aCopenhagen winter school on abstract software specifications$f<1979>$0491514
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000470440403321
952   $a10 PRO 161$b1617 CCE$fDINEL
959   $aDINEL
996   $aAbstract software specifications$9331978
997   $aUNINA