FORM ASP COMPUT期刊全称叫什么

FORM ASP COMPUT是FORMAL ASPECTS OF COMPUTING期刊的缩写。FORM ASP COMPUT期刊的出版地是UNITED STATES，主要的研究方向是工程技术-计算机：软件工程。

这本杂志的目的是在理论和实践的结合点发表论文。目的是传播适用研究。因此，新的理论贡献在潜在应用的激励下是受欢迎的；如果现有形式的应用在方法或应用方面显示出一些新的东西，那么它们就会受到关注。术语“形式方法”已应用于一系列符号、理论和工具。毫无疑问，其中一些已经对计算的实际应用产生了重大影响。事实上，有趣的是，一旦一些东西被采用到实际应用中，它就不再被认为是一种正式的方法。除了广泛使用的符号（如语法符号和状态机符号）之外，规范符号、开发方法和工具在证明一般结果和搜索特定条件方面也有着重要的应用。然而，正式方法最深刻和持久的影响是它如何阐明基本概念，如沟通概念。本着这种精神，这本杂志的主要目的是促进计算科学的发展，展示其与实践的关系，并刺激应用恰当的形式主义到实际问题。一个重要的挑战是展示一系列正式模型如何相互关联。作者请注意：在提交论文之前，作者需要联系适当的编辑委员会成员，并确定他/她愿意并且能够及时处理您的提交。您可以在期刊主页的“编辑委员会”选项卡下找到编辑委员会成员及其电子邮件地址的列表。一旦你提交了你的论文，系统会要求你在提交之前提供编辑的名字。

该刊的年访问量是25篇，发行周期是Quarterly，从官网http://link.springer.com/journal/165上查到本刊的通讯地址是SPRINGER, 233 SPRING ST, NEW YORK, USA, NY, 10013，投稿地址是https://www.editorialmanager.com/FAOC。网友对该刊的审稿速度给与的评价是>12周，或约稿，录用比一般是容易。