01050nam0-2200373---450-99000135829040332120100428161333.00-262-23169-7000135829FED01000135829(Aleph)000135829FED0100013582920001205d1993----km-y0itay50------baengUS<<The >>formal semantics of programming languagesan introductionGlynn Winskel3rd printing 1996CambridgeThe MIT Press1993XVIII, 361 p.23 cmFoundations of computingLinguaggi di programmazioneSemanticaSoftware510.78418.0285Winskel,Glynn61335ITUNINARICAUNIMARCBK9900013582904033218B-3285420FI1418.0285 WIN 1FLFBCFI1FLFBCFormal semantics of programming languages375202UNINA