01467nam2 22003613i 450 AQ1000268520240419061937.00387517995New York3540517995Berlin20080826d1990 ||||0itac50 baengdez01i xxxe z01n˜2: œModule specification and constraintsH. Ehrig, B. MahrBerlin [etc.]Springerc1990XI, 427 p.25 cm.EATCS monographs on theoretical computer science21001AQ100003492001 EATCS monographs on theoretical computer science21001AQ100026822001 Fundamentals of algebraic specificationH. Ehrig, B. Mahr2Archivi di datiStrutturaFIRNAPC223628IAlgebraFIRNAPC000734I005.7DATI NEI SISTEMI DI ELABORAZIONE14005.73DATI NEI SISTEMI DI ELABORAZIONE. STRUTTURE DEI DATI22Ehrig, HartmutUFIV01590407056511Mahr, BerndPUVV018279070766287ITIT-NA007920080826IT-BN0095 AQ10002685Biblioteca Centralizzata di Ateneov. 1-2 01SALA DING 005.7 EHR.fu 0102 0000013815 B A4(0002 v. 23 1994100619941006 01Module specification and constraints1558784UNISANNIO