首页
[{"ID":42422,"Name":"理学"},{"ID":81272,"Name":"计算机科学技术"},{"ID":81604,"Name":"计算机软件"},{"ID":81605,"Name":"软件基础理论"},{"ID":81606,"Name":"程序理论"}]
程序理论
/theories of programs/
最后更新 2023-04-25
浏览 46次
主要研究程序和编程语言的理论基础和理论模型,以支持编程语言的设计和实现,支持(使用编程语言进行的)程序的设计、开发、分析和检查验证等工作的理论。
- 英文名称
- theories of programs
- 所属学科
- 计算机科学技术