LEADER 01466nam--2200397---450-
001 990000362940203316
035   $a0036294
035   $aUSA010036294
035   $a(ALEPH)000036294USA01
035   $a0036294
100   $a20010316d1983----km-y0itay0103----ba
101   $aeng
102   $aNL
105   $a||||||||001yy
200 1 $aFormal description of programminf concepts II$eproceedings of the IFIP working conference on formal description of programming concepts - II Garmisch-Partenkirchen, FRG, 1-4 June 1982$fDines Bjorner
210   $aAmsterdam$cNorth-Holland publishing company$d1983
215   $aXII, 455 p.$cill.$d22 cm
410   $12001
461  1$1001-------$12001
610 0 $aElaboratori elettronici$xProgrammazione$xCongressi$z1982
610   $aCongressi$yGarmisch-Partenkirchen$z1982
676   $a001.64
702  1$aBJORNER,$bDines
710 12$aIFIP working conference on formal description of programming concepts-II <Garmisch-Partenkirchen; 1982>$0543669
801  0$aIT$bsalbc$gISBD
912   $a990000362940203316
951   $a001.64 IFI$b19440$c001.64$d00105540
959   $aBK
969   $aSCI
979   $aPATTY$b90$c20010316$lUSA01$h1221
979   $aPATTY$b90$c20010316$lUSA01$h1225
979   $aPATTY$b90$c20010320$lUSA01$h1601
979   $c20020403$lUSA01$h1644
979   $aPATRY$b90$c20040406$lUSA01$h1625
996   $aFormal description of programminf concepts II$9876899
997   $aUNISA