This book is a rigorous but readable introduction to some of the central topics in theoretical computer science. The main subjects are computability theory, formal languages, logic and automated deduction, computational complexity (including NP-completeness), and programming language semantics.
"synopsis" may belong to another edition of this title.
US$ 13.65 shipping from United Kingdom to U.S.A.
Destination, rates & speedsSeller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 448 pages. 9.25x6.00x1.01 inches. In Stock. Seller Inventory # zk1483237974
Quantity: 1 available