Algebraic methodology and software technology: 6th international conference, amast '97, sydney, australia, dezember 13-17, 1997, proceedings
Auteur :
Johnson, Michael
ISBN :
9783540638889
Date de publication :
1 déc. 1997
Dimensions :
23,4 x 15,6 x 3,1 cm
Poids :
846 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Constitutes the refereed proceedings of the 6th International Conference on Algebraic Methodology and Software Engineering, held Australia, in 1997. This volume addresses various aspects of formal methods in software engineering and programming methodology, with a certain emphasis on algebraic and logical foundations.