01482nam0 22003253i 450 UBO023772520241220063155.002622316970262731037pbk20080218d1993 ||||0itac50 baengusz01i xxxe z01n˜The œformal semantics of programming languagesan introductionGlynn WinskelCambridge (Mass.)LondonMIT pressc1993XVIII, 361 p.23 cm.Foundations of computing series001UFI01221142001 Foundations of computing seriesLinguaggi di programmazioneSemanticaFIRUFIC047092I005.13LINGUAGGI DI PROGRAMMAZIONE14005.131Linguaggi di programmazione. Logica simbolica (Logica matematica)22Winskel, GlynnUBOV09635907061335ITIT-NA007920080218IT-BN0095 UBO0237725Biblioteca Centralizzata di Ateneo3 v. Alcuni in più copie1 v. 01SALA DING 005.13 WIN.fo 0102 0000013925 B A4 1 v.3 19941012199410123 v. Alcuni in più copie1 v. 01SALA DING 005.13 WIN.fo 0102 0000017045 B A4(bis 1 v. (2. rist., 1994; 2. copia)T 1995022119950221 01Formal semantics of programming languages375202UNISANNIO