Mathematics of program construction : 9th International conference, MPC 2008, Marseille, France, July 15-18, 2008: proceedings / ed.: P. Audebaud, C. Paulin-Mohring, 2008 r=on-line. - Текст : электронный.
Приложение
для Android