LEADER 02262nam  22005535  450 
001 996466350203316
005 20200701033306.0
010   $a3-540-39179-7
024 7 $a10.1007/3-540-11492-0
035   $a(CKB)1000000000230176
035   $a(SSID)ssj0000324162
035   $a(PQKBManifestationID)11250840
035   $a(PQKBTitleCode)TC0000324162
035   $a(PQKBWorkID)10305291
035   $a(PQKB)10023298
035   $a(DE-He213)978-3-540-39179-1
035   $a(PPN)155194488
035   $a(EXLCZ)991000000000230176
100   $a20121227d1982      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 13$aAn Introduction to the PL/CV2 Programming Logic$b[electronic resource] /$fby R. L. Constable, S. D. Johnson, C. D. Eichenlaub
205   $a1st ed. 1982.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1982.
215   $a1 online resource (X, 293 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v135
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-11492-0 
327   $aThe language -- Logical syntax -- The logic -- Proof rules -- Programming -- Rules for program statements -- Procedures -- Procedure rules -- Functions -- Function Rules.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v135
606   $aComputer logic
606   $aComputer programming
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aProgramming Techniques$3https://scigraph.springernature.com/ontologies/product-market-codes/I14010
615  0$aComputer logic.
615  0$aComputer programming.
615 14$aLogics and Meanings of Programs.
615 24$aProgramming Techniques.
676   $a005.1015113
700   $aConstable$b R. L$4aut$4http://id.loc.gov/vocabulary/relators/aut$0535792
702   $aJohnson$b S. D$4aut$4http://id.loc.gov/vocabulary/relators/aut
702   $aEichenlaub$b C. D$4aut$4http://id.loc.gov/vocabulary/relators/aut
906   $aBOOK
912   $a996466350203316
996   $aAn Introduction to the PL$92830825
997   $aUNISA