摘要：
1. specifying systems:The TLA+ Language and To ols for Hardware and Software Engineers //by Leslie Lamport http://lamport.azurewebsites.net/tla/book.h 阅读全文
摘要：
【参考链接】 https://www.cnblogs.com/weiyouqing/p/7544988.html 什么是虚函数: 虚函数是指一个类中你希望重载的成员函数 ，当你用一个 基类指针或引用 指向一个继承类对象的时候，调用一个虚函数时, 实际调用的是继承类的版本。 ——摘自MSDN 虚函数最 阅读全文