ISBN-13: 9783540544968 / Angielski / Miękka / 1991 / 384 str.
ISBN-13: 9783540544968 / Angielski / Miękka / 1991 / 384 str.
Contains the proceedings of a workshop on specification of abstract data types. This volume includes topics such as: modularization, object orientation, higher-order types and dependent types, inductive completion, and algebraic high-level nets.