Mathematics of Program Construction
Subtitle: 8th International Conference, MPC 2006, Kuressaare, Estonia, July 3-5, 2006, Proceedings
Publisher: Springer London, Limited
Published: 2006
Language: eng
ISBN-13: 9783540356325
Subjects: Electronic digital computers, programming; Computer science, mathematics