软件系统XYZ 相关硕士博士期刊学术论文 - 搜论网

软件系统XYZ相关论文

面向软件系统XYZ的程序语言的逻辑动态发展之探究

软件工程工具系统XYZ是将时序逻辑和软件工程有机结合而成的整体,XYZ/E是建立在时序逻辑基础上的程序语言,它是XYZ系统的核心。虽......

期刊

软件系统XYZ 时序逻辑语言XYZ/E 时序逻辑组合范畴语法动态逻辑 Software System XYZTemporal Logic Language

看过本文同时还关注