Recent Trends in Data Type Specification - Praca Zbiorowa - książka wyd. 1990

Opis

"Automatic implementation of Abstract Data Types (ADT) is of interest because of at least two reasons - first, to get an executable prototype and, second, to verify the correctness and completness of the ADT definition."