Recent types in data type specification: 9th workshop on specification of abstract data types joint with the 4th compass workshop, caldes de malavella, spain, october 26-30, 1992 - selected papers
Auteur :
Orejas, Fernando
ISBN :
9783540578673
Date de publication :
28 avr. 1994
Dimensions :
23,4 x 15,6 x 1,9 cm
Poids :
1130 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
The main topics covered by this volume include object-oriented specifications, rewriting methods, specification languages and associated tools, type systems and the algebraic specification of concurrency.