TY - DATA AU - Bergstra, Jan A., author. TI - Instruction Sequences for Computer Science SN - 9789491216657, 978-94-91216-65-7 U1 - 004.0151, PY - 2012/// CY - Paris PB - Atlantis Press, Imprint: Atlantis Press KW - Programming Languages, Compilers, Interpreters KW - Computation by Abstract Devices KW - Computer network architectures KW - Computer science KW - Computer Science KW - Computer Systems Organization and Communication Networks KW - Logic design KW - Logics and Meanings of Programs KW - Mathematical Logic and Formal Languages N1 - Mathematics and Statistics (Springer-11649) UR - http://dx.doi.org/10.2991/978-94-91216-65-7 ER -