LEADER 01452nam2 22003613i 450 001 AQ10002683 005 20241220062406.0 010 $a0387137181$bNew York 010 $a3540137181$bBerlin 100 $a20080826d1985 ||||0itac50 ba 101 | $aeng 102 $ade 181 1$6z01$ai $bxxxe 182 1$6z01$an 200 1 $a˜1: œEquations and initial semantics$fH. Ehrig, B. Mahr 210 $aBerlin [etc.]$cSpringer$dc1985 215 $aXI, 321 p.$d25 cm. 225 | $aEATCS monographs on theoretical computer science$v6 410 0$1001AQ10000349$12001 $aEATCS monographs on theoretical computer science$v6 461 1$1001AQ10002682$12001 $aFundamentals of algebraic specification$fH. Ehrig, B. Mahr 606 $aArchivi di dati$xStruttura$2FIR$3NAPC223628$9I 606 $aAlgebra$2FIR$3NAPC000734$9I 676 $a005.7$9DATI NEI SISTEMI DI ELABORAZIONE$v14 676 $a005.73$9DATI NEI SISTEMI DI ELABORAZIONE. STRUTTURE DEI DATI$v22 700 1$aEhrig$b, Hartmut$3UFIV015904$4070$056511 701 1$aMahr$b, Bernd$3PUVV018279$4070$0766287 801 3$aIT$bIT-NA0079$c20080826 850 $aIT-BN0095 912 $aAQ10002683 950 2$aBiblioteca Centralizzata di Ateneo$cv. 1-2$d 01SALA DING 005.7 EHR.fu$e 0102 0000013805 B A4(0001 v. 1$f3 $h19941006$i19941006 977 $a 01 996 $aEquations and initial semantics$91558783 997 $aUNISANNIO