Algebraic methodology and software technology: 8th international conference, amast 2000 iowa city, iowa, usa, may 20-27, 2000 proceedings
Auteur :
Rus, Teodor
ISBN :
9783540675303
Date de publication :
3 mai 2000
Dimensions :
23,3 x 15,5 x 2,9 cm
Poids :
781 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This title constitutes 20 revised full papers presented together with eight invited contributions. Among the topics covered are all current issues in formal methods related to algebraic approaches including abstract data types, abstract state machines and much more.