理学 程序正确性 释 program correctness 程序正确性 程序是否正确地实现了预定目标。
理论计算机科学 程序理论 释文 program correctness 程序正确性
- nanostructured materials
- nanostructured polymer
- nano-structure on surface with ion beams
- nano-sulfur
- nanoswitch
- nano technology
- nano-technology
- nanotechnology
- nano-templating method
- nano thermoelectric conversion material
- nanotip
- nanotoxicity
- nanotransistor
- nanotribology
- nanotube
- nanotube array
- nanotube heterojunction
- nanotube junction
- nano tubes
- nano tubes, NTS
- nanowhisker
- nanowire
- nanowire field-effect transistor
- nanowire light emitting diode chip
- nanowire transistor