Recent trends in data type specification: 7th workshop on specification of abstract data types, wusterhausen/dosse, germany, april 17-20, 1990. proceedings: 1990: workshop proceedings
Auteur :
Ehrig, Hartmut
ISBN :
9783540544968
Date de publication :
11 sept. 1991
Dimensions :
23,3 x 15,5 x 2,0 cm
Poids :
1220 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
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.