LEADER 01202nam  2200361   450 
001 990000842180203316
010   $a3-540-1803-6
035   $a0084218
035   $aUSA010084218
035   $a(ALEPH)000084218USA01
035   $a0084218
100   $a20020104d--------km-y0itay0103----ba
101   $aeng
102   $aDE
105   $a||||||||001yy
200 1 $aLogic of programming and calculi of discrete design$einternational summer school$fdirected by F.L. Bauer ...<et al.>
210   $gedited by Manfred Broy$cBerlin$dSpringer
215   $ac1987$c413 p.$e24 cm
225 2 $aNATO ASI series$fSeries F Computer and systems sciences$v36
410   $12001$aNATO ASI series$iSeries F Computer and systems sciences$v36
606   $aLinguaggi formali$xCongressi$z1986
676   $a005.131
702  1$aBROY,$bManfred
801  0$aIT$bsalbc$gISBD
912   $a990000842180203316
951   $a005.131 LOG$b10594 ING$c005.131
959   $aBK
969   $aTEC
979   $aPATTY$b90$c20020104$lUSA01$h1509
979   $c20020403$lUSA01$h1729
979   $aPATRY$b90$c20040406$lUSA01$h1658
996   $aLogic of programming and calculi of discrete design$9968008
997   $aUNISA