Book Review: Verification of Sequential and Concurrent Programs by Krzysztof R. Apt and Ernst-Riidiger Olderog (Springer-Verlag New York, 1997)

Abstract

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 .