规约(同型)态射相关硕士博士期刊学术论文 - 搜论网

规约(同型)态射相关论文

一种基于规约精化的货物分发问题求解方案分析

介绍了美国Kestrel研究所的一种基于问题理论、算法理论和程序理论的规约精化思想，以及Kestrel如何应用这种思想渐进地形式化构造货......

期刊

规约精化规约(同型)态射 GDP 问题理论算法理论程序理论 specification refinement specification morphis

看过本文同时还关注