01362nam a2200337 i 450099100109665970753620020507183210.0940519s1984 de ||| | eng 3540128964b10800414-39ule_instLE01306958ExLDip.to Matematicaeng001.642AMS 68-06AMS 68-XXQA76.6Kozen, Dexter535967Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 1983 /eds. Edmund Clarke and Dexter KozenBerlin ; New York :Springer-Verlag,1984vi, 527 p. :ill. ;25 cmIncludes bibliographiesProceedings of the Logics of Programs WorkshopComputer scienceCongressesElectronic digital computers-programmingClarke, Edmund M.authorhttp://id.loc.gov/vocabulary/relators/aut67498.b1080041421-09-0628-06-02991001096659707536LE013 68-XX CLA11 (1984)12013000289144le013-E0.00-l- 00000.i1090426828-06-02Logics of Programs, workshop, Carnegie Mellon University, Pittsburgh, PA, June 6-8, 19833371053UNISALENTOle01301-01-94ma -engde 01