Instruction Sequences for Computer Science

• Κύριοι συγγραφείς: Bergstra, Jan A. (Συγγραφέας), Middelburg, Cornelis A. (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Paris : Atlantis Press : Imprint: Atlantis Press, 2012.
• Σειρά: Atlantis Studies in Computing, 2
• Θέματα: Computer science.; Computer organization.; Programming languages (Electronic computers).; Computers.; Computer logic.; Mathematical logic.; Computer Science.; Computation by Abstract Devices.; Logics and Meanings of Programs.; Mathematical Logic and Formal Languages.; Programming Languages, Compilers, Interpreters.; Computer Systems Organization and Communication Networks.

This book demonstrates that the concept of an instruction sequence offers a novel and useful viewpoint on issues relating to diverse subjects in computer science. Selected issues relating to well-known subjects from the theory of computation and the area of computer architecture are rigorously inves...