01230nam0-22003971i-450-99000144639040332120090721120843.088-7750-648-2000144639FED01000144639(Aleph)000144639FED0100014463920001205d1999----km-y0itay50------baitaITa---a---001yy<<La >>semantica formale dei linguaggi di programmazioneun' IntroduzioneGlynn WinskelTorinoUtetc1999xvii, 563 p.24 cmtit. orig.: The formal semantics of programming languages: an introductionLinguaggi di programmazioneSemantica formale005.131Winskel,Glynn61335ITUNINARICAUNIMARCBK990001446390403321005.131-WIN-1563SC1005.131-WIN-1A1216SC1005.131-WIN-1B1217SC1005.131-WIN-1C1218SC1005.131-WIN-1D3192SC1005.131-WIN-1E3193SC1SC1Semantica formale dei linguaggi di programmazione374098UNINA