LEADER 02245nam2 22005293i 450 
001 AQ10002683
005 20251003044040.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
183  1$6z01$anc$2RDAcarrier
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$3CFIC055195$9I
606   $aAlgebra$2FIR$3CFIC003520$9E
676   $a005.7$9DATI NEI SISTEMI DI ELABORAZIONE$v14
676   $a005.73$9DATI NEI SISTEMI DI ELABORAZIONE. STRUTTURE DEI DATI$v22
696   $aBanche di dati$aData-base$aBanche dati$aFile di dati$aBasi dati$aArchivi dati$aData base$aArchivi elettronici di dati$aDB <Database>$aArchivi elettronici$aBasi di dati$aDatabase
699   $aArchivi di dati$yBanche di dati
699   $aArchivi di dati$yData-base
699   $aArchivi di dati$yBanche dati
699   $aArchivi di dati$yFile di dati
699   $aArchivi di dati$yBasi dati
699   $aArchivi di dati$yArchivi dati
699   $aArchivi di dati$yData base
699   $aArchivi di dati$yArchivi elettronici di dati
699   $aArchivi di dati$yDB <Database>
699   $aArchivi di dati$yArchivi elettronici
699   $aArchivi di dati$yBasi di dati
699   $aArchivi di dati$yDatabase
700  1$aEhrig$b, Hartmut$3UFIV015904$4070$056511
701  1$aMahr$b, Bernd$3PUVV018279$4070$0766287
801  3$aIT$bIT-000000$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  VMA A4(0001               v. 1$fY $h19941006$i19941006
977   $a 01
996   $aEquations and initial semantics$91558783
997   $aUNISANNIO