期刊详情
Journal Of Logical And Algebraic Methods In Programming
立即访问
语言：
英文
所在数据库：
Elsevier Science Inc
更新时间：
2026-03-29 14:21:13
期刊详情
Journal of Logical and Algebraic Methods in Programming 致力于编程中的逻辑与代数方法，研究形式化方法、程序语义、代数规范、并发系统验证及软件工程的数学基础。