[URL]
ラムダノート(LamdaNote)社の新刊「Goならわかるシステムプログラミング」「定理証明手習い」。テスト駆動開発(TDD)の限界、Formal Methods(形式仕様記述、形式手法)のことも。
[URL]
プログラミング言語Go、みんなのGo言語、改訂2版 基礎からわかる Go言語
[URL]
Effective Python, Pythonチュートリアル第3版, Go言語によるWebアプリケーション開発, スターティングGo言語
[URL]
Go言語によるWebアプリケーション開発
[URL]
プログラミング言語Go, Mastering Concurrency in Go