: Identifying complexity and performance.
: Techniques for structured logic.
The book is structured to bridge the gap between mathematical theory and practical application, with each chapter introducing foundations before moving to exercises: : Identifying complexity and performance
: Algebraic specifications for abstract data types (ADTs) and their practical implementations. published in 1998 by Prentice Hall
: Methods for the formal derivation of iterative programs and the verification of recursive programs. : Identifying complexity and performance
The second edition, published in 1998 by Prentice Hall , covers a range of advanced programming techniques: