01452nam2 22003613i 450 AQ1000268320240419061937.00387137181New York3540137181Berlin20080826d1985 ||||0itac50 baengdez01i xxxe z01n˜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 datiStrutturaFIRNAPC223628IAlgebraFIRNAPC000734I005.7DATI NEI SISTEMI DI ELABORAZIONE14005.73DATI NEI SISTEMI DI ELABORAZIONE. STRUTTURE DEI DATI22Ehrig, HartmutUFIV01590407056511Mahr, BerndPUVV018279070766287ITIT-NA007920080826IT-BN0095 AQ10002683Biblioteca Centralizzata di Ateneov. 1-2 01SALA DING 005.7 EHR.fu 0102 0000013805 B A4(0001 v. 13 1994100619941006 01Equations and initial semantics1558783UNISANNIO