理论计算机科学 程序理论 释文 correctness proof 正确性证明
- platform
- platform and rack
- platform arrangement
- platform as a service
- platform as a service, PaaS
- platform atomization
- platform case
- platform competition
- platform diving
- Platform Economics
- platform edge door
- platform for environment noise information management
- platform for hybrid integration
- platform for space astronomy
- platform goods vehicle
- platform independent model
- platform independent model, PIM
- platform inertial guidance
- platform inertial navigation
- platform inertial navigation system
- platforming
- platform in the deep water
- platform loading truck exhaust
- platform of aerial photography
- platform of numerical simulation