Mathematics of program construction: 5th international conference, mpc 2000, ponte de lima, portugal, july 3-5, 2000: proceedings
Auteur :
Backhouse, Roland C.
ISBN :
9783540677277
Date de publication :
21 juin 2000
Dimensions :
23,3 x 15,5 x 1,4 cm
Poids :
421 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
This volume constitutes the refereed proceedings of the 5th International Conference on Mathematics of Program Construction, MPC 2000, held in Ponte de Lima, Portugal, in July 2000. The 12 revised full papers presented were carefully reviewed and selected for inclusion in the book.