单项选择题

通过程序设计对无向图的遍历求解,属于计算机学科方法论的三个过程中的()。

A.抽象
B.理论
C.实验和论证
D.自动化设计及实现