Download Diseг±o Programas Formalismo Abstracciгіn, 2da Ediciгіn Ricardo Peг±a Marг­ Pdf -

: Algebraic specifications for abstract data types (ADTs) and their practical implementations.

: Methods for the formal derivation of iterative programs and the verification of recursive programs. : Algebraic specifications for abstract data types (ADTs)

: Identifying complexity and performance. : Algebraic specifications for abstract data types (ADTs)