02096nam1 22005173i 450 AQ1000268220251003044040.020080826g1985 ||||0itac50 baengdez01i xxxe z01nz01ncRDAcarrierFundamentals of algebraic specificationH. Ehrig, B. MahrBerlin [etc.]Springer2 v.25 cm.001AQ100026832001 ˆ1: ‰Equations and initial semanticsH. Ehrig, B. Mahr001AQ100026852001 ˆ2: ‰Module specification and constraintsH. Ehrig, B. Mahr2Archivi di datiStrutturaFIRCFIC055195IAlgebraFIRCFIC003520E005.7DATI NEI SISTEMI DI ELABORAZIONE14005.73DATI NEI SISTEMI DI ELABORAZIONE. STRUTTURE DEI DATI22Banche di datiData-baseBanche datiFile di datiBasi datiArchivi datiData baseArchivi elettronici di datiDB <Database>Archivi elettroniciBasi di datiDatabaseArchivi di datiBanche di datiArchivi di datiData-baseArchivi di datiBanche datiArchivi di datiFile di datiArchivi di datiBasi datiArchivi di datiArchivi datiArchivi di datiData baseArchivi di datiArchivi elettronici di datiArchivi di datiDB <Database>Archivi di datiArchivi elettroniciArchivi di datiBasi di datiArchivi di datiDatabaseEhrig, HartmutUFIV01590407056511Mahr, BerndPUVV018279070766287ITIT-00000020080826IT-BN0095 NAP 01SALA DING $AQ10002682Biblioteca Centralizzata di Ateneov. 1-2 01SALA DING 005.7 EHR.fu2 01Fundamentals of algebraic specification1558782UNISANNIO