01841nam 22004815 450 99646633950331620200706002539.03-540-39038-310.1007/BFb0022481(CKB)1000000000230162(SSID)ssj0000321564(PQKBManifestationID)11233983(PQKBTitleCode)TC0000321564(PQKBWorkID)10281701(PQKB)10104522(DE-He213)978-3-540-39038-1(PPN)155236245(EXLCZ)99100000000023016220121227d1982 u| 0engurnn|008mamaatxtccrAxiomatising the Logic of Computer Programming[electronic resource] /by R. Goldblatt1st ed. 1982.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1982.1 online resource (XIII, 304 p.) Lecture Notes in Computer Science,0302-9743 ;130Bibliographic Level Mode of Issuance: Monograph3-540-11210-3 Conceptual background -- The logical structure of commands -- Assignments -- Appendix 1 Some related studies -- Function declarations -- Procedures -- Arrays.Lecture Notes in Computer Science,0302-9743 ;130Computer logicLogics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XComputer logic.Logics and Meanings of Programs.005.1015113Goldblatt Rauthttp://id.loc.gov/vocabulary/relators/aut1221176BOOK996466339503316Axiomatising the Logic of Computer Programming2831498UNISA