XYZ/E is a temporal logic system as well as a programming language. It can represent almost every kind of significant features in conventional imperative languages.
既是一个时序逻辑系统也是一个程序设计语言,它能表示普通高级语言中几乎所有的重要机制。
XYZ/E is a temporal logic system as well as a programming language. It can represent almost every kind of significant features in conventional imperative languages.
既是一个时序逻辑系统也是一个程序设计语言,它能表示普通高级语言中几乎所有的重要机制。
应用推荐