This book provides a look at the central algorithms and data structures of computer science, together with an introduction to the techniques of design, correctness and analysis required for understanding them.
Jeffrey H. Kingston is a senior lecturer in the Basser Department of Computer Science at the University of Sydney, Australia. He has published correctness proofs and analyses of a variety of data structures ans algorithms; his other research interests include document formatting, computerized timetable construction and computer science curriculum design.
0201403749AB04062001