01107nam0-22003251i-450-99000049391040332120090302101535.00-13-329060-3000049391FED01000049391(Aleph)000049391FED0100004939120020821d1972----km-y0itay50------baenga-------101yyFormal semantics of programming languagesCourant computer science symposium 2, september 14-16, 1970edited by Randall RustinEnglewood Cliffs, New JerseyPrentice-Hall©1972248 p.ill.24 cmPrentice-Hall series in automatic computationLinguaggi di programmazioneSemanticaCongressi005.133Rustin,RandallCourant computer science symposium<2. ;1970 ;New York>491818ITUNINARICAUNIMARCBK99000049391040332110 PRO 365970 CCEDINELDINELFormal semantics of programming languages332917UNINA