Book Review: Verification of Sequential and Concurrent Programs by Krzysztof R. Apt and Ernst-Riidiger Olderog (Springer-Verlag New York, 1997)
Anish Arora · ACM SIGACT News · 1998
student in computer science' and that it should serve as `both a reference and a main text for course s in pure computer science and for computer science-oriented courses on computational biology '.I suspect, though, that most students will find this book too detailed and too complicated for thei r needs .Nonetheless, Gusfield's book is an important summary of the state of the art in pattern matchin g and an indicator of the importance biological problems have assumed among many researchers .It will undoubtedly draw new researchers to problems in biology and will hopefully encourage the m to question the importance of the problems they endeavor to solve .As Gusfield advises in hi s epilogue: `focus more on the biological quality of a computation and not exclusively on speed an d space improvements. ..learn real biology, talk extensively to biologists, and work on problems o f known biological importance ' .Good advice and especially apt for those hoping to make an impac t in this exciting field .