: Organizing data effectively. Trees, Tables, and Graphs : Handling complex relationships. Availability Go to product viewer dialog for this item. Diseño de programas: formalismo y abstracción
: Methods for the formal derivation of iterative programs and the verification of recursive programs.
: Detailed study of stacks, queues, lists, heaps, and tables. Structure of the Text