02245nam2 22005293i 450 AQ1000268320251003044040.00387137181New York3540137181Berlin20080826d1985 ||||0itac50 baengdez01i xxxe z01nz01ncRDAcarrierˆ1: ‰Equations and initial semanticsH. Ehrig, B. MahrBerlin [etc.]Springerc1985XI, 321 p.25 cm.EATCS monographs on theoretical computer science6001AQ100003492001 EATCS monographs on theoretical computer science6001AQ100026822001 Fundamentals of algebraic specificationH. Ehrig, B. MahrArchivi 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 AQ10002683Biblioteca Centralizzata di Ateneov. 1-2 01SALA DING 005.7 EHR.fu 0102 0000013805 VMA A4(0001 v. 1Y 1994100619941006 01Equations and initial semantics1558783UNISANNIO