LEADER 01592nam2-2200421li-450 001 990000210450203316 005 20180312154821.0 010 $a3-540-60043-4 035 $a0021045 035 $aUSA010021045 035 $a(ALEPH)000021045USA01 035 $a0021045 100 $a20001109d1995----km-y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $aAlgebraic methodology and softwaretechnology$e4th International conference, AMAST '95$eMontreal, Canada, July 3-7,1995$eproceedings$fV. S. Alagar ... [et al.] (eds.) 210 $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 1995 215 $aXIV, 591 p.$cill.$d25 cm 225 2 $aLecture notes in computer science$v936 410 0$10010020264$12001$aLecture notes in computer science 610 1 $acongressi$amontreal$a1995 610 1 $aelaboratori elettronici$aprogrammazione$acongressi$a1995 610 1 $asoftware$aprogettazione$acongressi$a1995 676 $a0051$9Programmazione. Tecnica di sviluppo dei programmi 702 1$aAlagar,$bVangalur S. 710 12$aInternational conference AMAST'95$d4.$eMontreal$f1995$0753674 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000210450203316 951 $a001 LNCS (936)$b0020308$c001$d00103706 959 $aBK 969 $aSCI 979 $c19971124 979 $c20001110$lUSA01$h1714 979 $aALANDI$b90$c20010131$lUSA01$h1302 979 $c20020403$lUSA01$h1629 979 $aPATRY$b90$c20040406$lUSA01$h1615 996 $aAlgebraic methodology and softwaretechnology$91516216 997 $aUNISA