走向预算的形式化

摘要:关于预算理论的需求和要求 合理预算的简单代数理论 使用有理数的函数指定金额的预算 使用totalized模型对有理数的重要性 一个关于提供硕士课程的大学系的教育预算案例研究标题

作者:Jan A. Bergstra, Sanne Nolst Trenit''e, Mark B. van der Zwaag

论文ID:0802.3617

分类:Logic in Computer Science

分类简称:cs.LO

提交时间:2008-02-26

PDF 下载: 英文版 中文版pdf翻译中