LEADER 02393nam0 22004933i 450 001 AQ10013040 005 20251003044042.0 010 $a0387565965$bNew York 010 $a3540565965$bBerlin 100 $a20111216d1993 ||||0itac50 ba 101 | $aeng 102 $ade 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $aSemantics$efoundations and applications$eREX workshop$eBeekbergen, the Netherlands, June 1-4, 1992$eproceedings$fJ. W. de Bakker, W.-P. de Roever, G. Rozenberg (eds.) 210 $aBerlin [etc.]$cSpringer$dc1993 215 $aVIII, 659 p.$d24 cm 225 | $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v666 410 0$1001MIL0030703$12001 $aLecture notes in computer science$fedited by G. Goos and J. Hartmanis$v666$1702 1$aGoos$b, Gerhard$3AQ1V006441$4340 606 $aElaboratori elettronici$xLinguaggi$xCongressi$x1992$2FIR$3NAPC259306$9I 606 $aSemantica$xCongressi$x1992$2FIR$3CFIC075017$9I 676 $a005.13$9LINGUAGGI DI PROGRAMMAZIONE$v14 676 $a005.131$9Linguaggi di programmazione. Logica simbolica (Logica matematica)$v22 696 $aConvegni$aCongressi e convegni 696 $aConvegni$aCongressi e convegni 699 $aCongressi$yConvegni 699 $aCongressi$yCongressi e convegni 699 $aCongressi$yConvegni 699 $aCongressi$yCongressi e convegni 702 1$aRozenberg$b, Grzegorz$3AQ1V001474 702 1$aRoever$b, W.-P. : de$f <1943- >$3AQ1V003838 702 1$aBakker$b, Jacobus Willem : de$f <1939- >$3MILV019631 710 12$aREX workshop$f <1992$e ; Beekbergen>$3AQ1V007077$4070$0714687 790 1$aRozenberg$b, G.$c $3USMV920096$zRozenberg, Grzegorz 790 1$aBakker$b, J. W. : de$3MILV150299$zBakker, Jacobus Willem : de <1939- > 790 1$aDe Bakker$b, J. W.$3SBNV007763$zBakker, Jacobus Willem : de <1939- > 791 12$aResearch and education in concurrent systems workshop$f <1992$e ; Beekbergen>$3NAPV120242$zREX workshop <1992 ; Beekbergen> 801 3$aIT$bIT-000000$c20111216 850 $aIT-BN0095 912 $aAQ10013040 950 0$aBiblioteca Centralizzata di Ateneo$c193 v.$d 01COLL. ING. LNCS$e 0102 0000012515 VMA A4666 v. 666$fY $h19940707$i20111216 977 $a 01 996 $aSemantics$91382030 997 $aUNISANNIO