《时序逻辑与时序逻辑程序设计》,作者:Duan Zhenhua(段振华)著 出版社:科学出版社 ISBN:7030166515。The book presents a framing technique for temporal logic programming, which includes the definitions of new assignments, the assignment
《C语言程序设计习题与解析》,作者:王明军等 出版社:科学出版社 ISBN:9787030495617。本书是《C 语言程序设计教程》的配套教材。全书共 12 章,分别对 C 语言程序设计中的 C 语言程序设计基础、分支程序设计、循环程序设计、数组、函数、字符串处理、指针、结构体和共用体、文件、位运算和编译预处理的主要内容进行简要概述。结合每章要点,参考各种考试中的主要知识点,设计了大量的例题,并