Theoretical Introduction to Programming [electronic resource] /
by Bruce Mills.
- London : Springer-Verlag London Limited, 2006.
- xi, 358 pages : illustration, digital ; 24 cm.
9781846282638 (electronic bk.)
Computer programming. Computer Science. Programming Techniques. Programming Languages, Compilers, Interpreters. Data Structures. Computation by Abstract Devices. Logics and Meanings of Programs. Symbolic and Algebraic Manipulation.