(美)伯 格(Berg,H.K.)等著;宋国新等译1988 年出版250 页ISBN:7030002792
本书全面地介绍了程序验证理论、规范及有关的方法
BOOST程序库完全开发指南:深入C++“准”标准库 第3版
罗剑锋著2015 年出版618 页ISBN:9787121253133
Boost由C++标准委员会部分成员所设立的Boost社区开发并维护,使用了许多现代C++编程技术,内容涵盖字符串处理、正则表达式、容器与数据结构等许多领域,极大地丰富了C++的功能和表现力,能够使C++软件开发更加简捷...
(美)西蒙·蒙克(Simon Monk)著2018 年出版171 页ISBN:9787302500568
这就是Arduino、从零开始、C语言基础、函数、数组和字符串、输入和输出、标准Arduino库、数据存储、显示器、Arduino物联网编程、C++和库。