Mathematics of program construction : 10th international conference, MPC 2010, Quebec City, Canada, June 21-23, 2010: proceedings / ed. C. Bolduc, 2010 r=on-line. - Текст : электронный.
Приложение
для Android