Mathematics of Program Construction
Subtitle: 5th International Conference, MPC 2000 Ponte de Lima, Portugal, July 3-5, 2000 Proceedings
Publisher: Springer London, Limited
Published: 2006
Language: eng
ISBN-13: 9783540450252