01265nam1 22003373i 450 AQ1000268220240712062434.020080826g1985 ||||0itac50 baengdez01i xxxe z01nFundamentals 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 datiStrutturaFIRNAPC223628IAlgebraFIRNAPC000734I005.7DATI NEI SISTEMI DI ELABORAZIONE14005.73DATI NEI SISTEMI DI ELABORAZIONE. STRUTTURE DEI DATI22Ehrig, HartmutUFIV01590407056511Mahr, BerndPUVV018279070766287ITIT-NA007920080826IT-BN0095 AQ10002682Biblioteca Centralizzata di Ateneov. 1-2 01SALA DING 005.7 EHR.fu2 01Fundamentals of algebraic specification1558782UNISANNIO