Instruction Sequences for Computer Science
By: by Jan A. Bergstra, Cornelis A. Middelburg
Contributors: Middelburg, Cornelis A.; SpringerLink (Online service)
Series: Atlantis Studies in Computing -- 2
Publisher: Atlantis Press
Published: 2012
Place of publication: Paris
Language: eng
Format: [electronic resource] /
ISBN-13: 9789491216657
Subjects: Mathematical Logic and Formal Languages; Computer Systems Organization and Communication Networks; Computer network architectures; Logic design; Logics and Meanings of Programs; Computation by Abstract Devices; Computer science; Programming Languages, Compilers, Interpreters