0

FORMAL ASPECTS OF COMPUTING

主办单位:Springer London

出版周期: 未知

刊物简介
投稿经验
相关期刊
本刊旨在发表理论与实践相结合的文章。目的是传播适用的研究。因此,如果新的理论贡献受到潜在应用的推动,就会受到欢迎; 如果现有形式主义的应用显示出一些新的方法或应用,就会引起人们的兴趣。计算的形式方面的范围包括: 系统描述的有根据的符号; 可验证的设计方法; 基本计算概念的阐明; 容错设计的方法; 定理证明支持; 状态探索工具; 广泛使用的符号和方法的形式基础; 需求分析的形式方法。
收藏
暂不支持预投