Data Structures and Program Design in C

This introduction to data structures using the C programming language demonstrates the stepwise refinement of ideas into runable programs, emphasizing problem specification and program correctness. Suitable as a text for a one- or two-semester course, the prerequisite being a first course in program The text emphasizes problem specification and program design; analysis, testing and verification; and program correctness.