LEADER 01265nam1 22003373i 450 
001 AQ10002682
005 20240712062434.0
100   $a20080826g1985    ||||0itac50      ba
101 | $aeng
102   $ade
181  1$6z01$ai $bxxxe  
182  1$6z01$an
200 1 $aFundamentals of algebraic specification$fH. Ehrig, B. Mahr
210   $aBerlin [etc.]$cSpringer
215   $a2 v.$d25 cm.
463  1$1001AQ10002683$12001 $a˜1: œEquations and initial semantics$fH. Ehrig, B. Mahr
463  1$1001AQ10002685$12001 $a˜2: œModule specification and constraints$fH. Ehrig, B. Mahr$v2
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   $aAQ10002682
950  1$aBiblioteca Centralizzata di Ateneo$cv. 1-2$d 01SALA DING 005.7                   EHR.fu
967   $m2
977   $a 01
996   $aFundamentals of algebraic specification$91558782
997   $aUNISANNIO