他发现盲人能够在常人阅读一本书的时间里用文字到言语转换的计算机程序来阅读三本书。
He finds that blind people are able to turn up the rate of text-to-speech converting computer programs to read three books in the time it would take a sighted person to read one.
一个书的特殊功能是它包括讨论的全部模型的一个计算机程序的磁片，有指导课关于他们的使用。
A special feature of the book is that it includes a disk of computer programs for all the models discussed, along with tutorials on their use.
DT IV部分“程序说明书和证据”描述怎样把你的合乎逻辑的理解用于一个真正的计算机科学问题，计画的准确的描述和证实。
DT Part IV "program specification and proof" describes how to apply your logical understanding to a real computer science problem, the accurate description and verification of programs.
DT IV部分“程序说明书和证据”描述怎样把你的合乎逻辑的理解用于一个真正的计算机科学问题，计画的准确的描述和证实。
DT Part IV "program specification and proof" describes how to apply your logical understanding to a real computer science problem, the accurate description and verification of programs.
应用推荐