LEADER 03210nam  22005895  450 
001 996466135503316
005 20200705001639.0
010   $a3-540-38933-4
024 7 $a10.1007/BFb0048933
035   $a(CKB)1000000000230358
035   $a(SSID)ssj0000325928
035   $a(PQKBManifestationID)11246864
035   $a(PQKBTitleCode)TC0000325928
035   $a(PQKBWorkID)10265288
035   $a(PQKB)10136761
035   $a(DE-He213)978-3-540-38933-0
035   $a(PPN)15519027X
035   $a(EXLCZ)991000000000230358
100   $a20121227d1984      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aProgramming Languages and their Definition$b[electronic resource] $eSelected Papers /$fby H. Bekic ; edited by C. B. Jones
205   $a1st ed. 1984.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d1984.
215   $a1 online resource (XXXII, 254 p.) 
225 1 $aLecture Notes in Computer Science,$x0302-9743 ;$v177
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-13378-X 
327   $aNote on a test example for ALGOL60 compilers by D.E. Knuth -- The assignment to a type procedure identifier in ALGOL60 -- The meaning of names in PL/I -- Defining a language in its own terms -- Note on some problems concerning the PL/I manual and its re-writing -- Definable operations in general algebras, and the theory of automata and flowcharts -- Formalization of storage properties -- On the formal definition of programming languages -- A formal definition of a PL/I subset -- Mathematical semantics and compiler correctness -- Towards a mathematical theory of processes -- From comments arising from a lecture in Amsterdam, June 1972 -- The semantics of parallel processing -- Nondeterministic functions and the semantics of CSP -- Nondeterministic programs : An example -- A model of nondeterminism: Indexed sets and their equivalence.
410  0$aLecture Notes in Computer Science,$x0302-9743 ;$v177
606   $aMathematical logic
606   $aProgramming languages (Electronic computers)
606   $aComputer logic
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
615  0$aMathematical logic.
615  0$aProgramming languages (Electronic computers).
615  0$aComputer logic.
615 14$aMathematical Logic and Formal Languages.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aLogics and Meanings of Programs.
676   $a005.131
700   $aBekic$b H$4aut$4http://id.loc.gov/vocabulary/relators/aut$054367
702   $aJones$b C. B$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996466135503316
996   $aProgramming languages and their Definition$9345376
997   $aUNISA