Mathematics of program construction : 10th international conference, MPC 2010, Québec City, Canada, June 21-23, 2010 : proceedings

• Tác giả: Claude Bolduc, Jules Desharnais, Béchir Ktari
• Ngôn ngữ: eng
• ISBN-10: 3642133207
• ISBN-13: 978-3642133206
• Ký hiệu phân loại: 005.1 Programming
• Thông tin xuất bản: Berlin ; New York : Springer, 2010.
• Mô tả vật lý: x, 425 p. : , ill. ; , 24cm
• Bộ sưu tập: Công nghệ thông tin
• ID: 76054
• Chủ đề: 1. Québec <2010>; 2. Mathematische Methode; 3. Softwareentwicklung; 4. Computer science--Mathematics; 5. Computer programming

Includes bibliographical references and index