书单(updating...)

1. specifying systems:The TLA+ Language and To ols for Hardware and Software Engineers

　　//by Leslie Lamport     http://lamport.azurewebsites.net/tla/book.html

2. clean code

　　//by Bob大叔 Robert C. Martin

3. clean archieticture

　　//by Bob大叔 Robert C. Martin

4. Refactoring

　　//by Martin Fowler     https://martinfowler.com/

5. 敏捷软件开发——原则、模式与实践

　　//by Bob大叔 Robert C. Martin 翻译by 邓辉老师

6.