The Book Review Column s by William Gasarc h Department of Computer Scienc e University of Maryland at College Par k College Park, IVMD, 2074 2 email: gasarch@cs .umd .ed u Welcome to the Book Reviews Column . We hope to bring you at least three reviews of books ever y month . In this column three books are reviewed . 1. Algorithms on strings, trees, and sequences : computer science and computationa l biology by Dan Gusfield . Reviewed by Gary Benson . This is an encyclopedic book o n algorithms in computer science motivated by biological applications and (gasp!) actuall y used in such applications . 2. Verification of Sequential and Concurrent Programs by Krzysztof R . Apt and Ernst Rudiger Olderog . Reviewed by Anish Arora . This is a book on verification that is (accordin g to the review) suitable as a text in a grad course . 3. Algorithms and Programming : Problems and Solutions by Alexander Shen . Reviewed by Jerry James . This is a quirky book of, as the title suggests, problems and solutions . The review suggests it might be used by a teacher as a source of problems
/lp/association-for-computing-machinery/book-review-algorithms-on-strings-trees-and-sequences-computer-science-EXyEYqipgk