Recent trends in algebraic development techniques: 13th international workshop, wadt '98, lisbon, portugal, april 2-4, 1998, selected papers
Auteur :
Fiadeiro, Jose Luiz
ISBN :
9783540662464
Date de publication :
28 juil. 1999
Dimensions :
23,3 x 15,5 x 1,8 cm
Poids :
505 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This volume constitutes the refereed proceedings of the 13th International Workshop on Algebraic Development Techniques held in April 1998. The papers address such issues as algebraic specification techniques, algebraic combination of logics, and algebraic structures and logics for concurrency.