00990nam2-2200325li-450 99000011354020331620180312154705.00-262-22040-70011354USA010011354(ALEPH)000011354USA01001135420001109d1990----km-y0itay0103----baengUSFormal models and semanticsVol. BXIV, 1273 p.00100113552001Handbook of theoretical computer scienceedited by Jan van LeeuwenSistema bibliotecario di Ateneo dell' Università di SalernoRICA990000113540203316004 HAN (B)001372400400106210BKSCI1992031920001110USA011711ALANDI9020010313USA01123320020403USA011619PATRY9020040406USA011609Formal models and semantics1491058UNISA