The paper illustrates the communication specification and the data exchange ways between CP525 and personal computer in detail, gives the communication program and hardware connection ways.
本文详细说明了CP525与个计算机的通讯规程，数据交换方式。 并给出了通讯的程序和硬件连接方式。
2
DT Part IV "programspecification and proof" describes how to apply your logical understanding to a real computer science problem, the accurate description and verification of programs.