02262nam 22005535 450 99646635020331620200701033306.03-540-39179-710.1007/3-540-11492-0(CKB)1000000000230176(SSID)ssj0000324162(PQKBManifestationID)11250840(PQKBTitleCode)TC0000324162(PQKBWorkID)10305291(PQKB)10023298(DE-He213)978-3-540-39179-1(PPN)155194488(EXLCZ)99100000000023017620121227d1982 u| 0engurnn|008mamaatxtccrAn Introduction to the PL/CV2 Programming Logic[electronic resource] /by R. L. Constable, S. D. Johnson, C. D. Eichenlaub1st ed. 1982.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,1982.1 online resource (X, 293 p.) Lecture Notes in Computer Science,0302-9743 ;135Bibliographic Level Mode of Issuance: Monograph3-540-11492-0 The language -- Logical syntax -- The logic -- Proof rules -- Programming -- Rules for program statements -- Procedures -- Procedure rules -- Functions -- Function Rules.Lecture Notes in Computer Science,0302-9743 ;135Computer logicComputer programmingLogics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XProgramming Techniqueshttps://scigraph.springernature.com/ontologies/product-market-codes/I14010Computer logic.Computer programming.Logics and Meanings of Programs.Programming Techniques.005.1015113Constable R. Lauthttp://id.loc.gov/vocabulary/relators/aut535792Johnson S. Dauthttp://id.loc.gov/vocabulary/relators/autEichenlaub C. Dauthttp://id.loc.gov/vocabulary/relators/autBOOK996466350203316An Introduction to the PL2830825UNISA