期刊书目 › BOOKS with Alphabet   M (Ma,Mb,Mc, Md,Me…) › Titlebook: Mathematics of Program Construction; 9th International Co Philippe Audebaud,Christine Paulin-Mohring Conference proceedings 2008 Springer-V

AGGER 发表于 2025-4-1 02:50:55

http://reply.papertrans.cn/63/6270/626958/626958_61.png

平息 发表于 2025-4-1 08:00:12

http://reply.papertrans.cn/63/6270/626958/626958_62.png

名词 发表于 2025-4-1 12:45:17

http://reply.papertrans.cn/63/6270/626958/626958_63.png

查看完整版本: Titlebook: Mathematics of Program Construction; 9th International Co Philippe Audebaud,Christine Paulin-Mohring Conference proceedings 2008 Springer-V