01014nam0-22003251i-450-99000047051040332120090218154811.03-54011212-X000047051FED01000047051(Aleph)000047051FED0100004705120020821d1982----km-y0itay50------baenga-------101yyLogics of programsworkshop, Yorktown Heights, New York, may 1981edited by Dexter KozenBerlin ; HeidelbergSpringer-Verlag1982429 p.ill.24 cmLecture notes in computer science131ProgrammazioneCongressi519.7Kozen,Dexter<1951- >Logics of programs workshop<1981 ;Yorktown Heights, New York>491519ITUNINARICAUNIMARCBK99000047051040332110 PRO 177DIS 7DINELDINELLogics of programs332010UNINA