《程序设计中的逻辑和代数方法》杂志是一本国际性杂志，其目的是在保证程序正确性和可执行性的逻辑和代数方法和技术领域发表高质量的原始研究论文、调查和评论文章、教程说明和历史研究一般指计算系统。将涵盖所有方面，特别是理论和基础、实施问题和涉及新思想的应用。
杂志链接：https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming
精品内容
没有数据了, 换个别的吧!
微信扫码咨询专知VIP会员