TY - BOOK ID - 835142 TI - Programming languages and their definition: selected papers AU - Beki, H. AU - Jones, C.B. PY - 1984 VL - vol 177 SN - 354013378X 3540389334 PB - Berlin Springer DB - UniCat KW - Programming KW - 681.3*D31 KW - 681.3*F3 KW - Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} KW - Logics and meanings of programs (Theory of computation) KW - 681.3*D31 Formal definitions and theory: semantics; syntax (Programming languages)--See also {681.3*D21}; {681.3*F31}; {681.3*F32}; {681.3*F42}; {681.3*F43} KW - 681.3*F3 Logics and meanings of programs (Theory of computation) KW - Computer science. KW - Logic design. KW - Mathematical Logic and Formal Languages. KW - Programming Languages, Compilers, Interpreters. KW - Logics and Meanings of Programs. KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Machine theory KW - Switching theory KW - Informatics KW - Science KW - Programming languages UR - https://www.unicat.be/uniCat?func=search&query=sysid:835142 AB - ER -