Handbook of Theoretical Computer Science: Algorithms and complexity By:"Jan Leeuwen" Published on 1990 by Elsevier The second part of this Handbook presents a choice of material on the theory of automata and rewriting systems, the foundations of modern programming languages, logics for program specification and verification, and some chapters on the theoretic modelling of advanced information processing. This Book was ranked 38 by Google Books for keyword computer. Spesification: Book page count 1003 Print Type BOOK Category "Algorithms" Book rate Book page count 1003 Mature NOT_MATURE