理学 程序正确性 释 program correctness 程序正确性 程序是否正确地实现了预定目标。
理论计算机科学 程序理论 释文 program correctness 程序正确性
- intelligent retrieval from smart city big data
- intelligent robot
- intelligent rollingstock maintenance
- intelligent running shoes
- intelligent scenic area
- intelligent scheduling
- intelligent security management
- intelligent security supervision
- intelligent self-guided tour guide in scenic area
- intelligent sensor
- intelligent ship
- intelligentsia
- intelligent signal processing
- Intelligent simulation methods for social systems engineering
- Intelligent Societies
- intelligent storage
- intelligent storage system
- intelligent stowage
- Intelligent Supply Chain
- intelligent system
- intelligent system of bus rapid transit
- intelligent systems
- intelligent terminal
- intelligent textile design
- intelligent tourism