特定领域分布式系统工程的形式化方法
摘要
出版物: -
arXiv电子打印 发布日期: 2019年12月 内政部: -
10.48550/arXiv.1912.01289 arXiv: -
arXiv:1912.01289 书目代码: -
2019arXiv191201289D 关键词: -
计算机科学-程序设计语言; 计算机科学——形式语言与自动机理论; 计算机科学——计算机科学中的逻辑; 计算机科学-软件工程
电子打印: 新闻界