Recent trends in algebraic development techniques: 14th international workshop, wadt '99, chateau de bonas, september 15-18, 1999 selected papers
Auteur :
Bert, Didier
ISBN :
9783540678984
Date de publication :
6 sept. 2000
Dimensions :
23,4 x 15,6 x 2,5 cm
Poids :
694 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
The papers address: algebraic specification and other specification formalisms; test and validation; concurrent processes applications; logic and validation; combining formalisms; subsorts and partiality; structuring; rewriting; co-algebras and sketches; refinement; and other topics.