ASAHIネット(http://asahi-net.jp )のブログサービス、アサブロ(https://asahi-net.jp/asablo/ )を使っています。
---
　Apressが、現地時間、8月20日まで、大セールをやってます。
https://twitter.com/shownakamura/status/1425694539533017097
--- ここから ---
Apreesが新学期ビッグセール。全部の本と電子書籍が、11.99ドル。クーポンコードBIGA21
https://apress.com/us/shop/big-sale
Big Sale—All books & eBooks only 11.99!
Get back-to-school ready!
Use coupon code BIGA21 through August 20, 2021
--- ここまで ---

　ぼくは、
https://www.apress.com/us/book/9781484259481
Clean C++20
Sustainable Software Development Patterns and Best Practices
Authors: Roth, Stephan

https://www.apress.com/us/book/9781484238288
Practical TLA+
Planning Driven Development
Authors: Wayne, Hillel

https://www.apress.com/us/book/9781484264270
Programming Algorithms in Lisp
Writing Efficient Programs with Examples in ANSI Common Lisp

を買いました。
　Lisp本は、アメリカでは、まだ出してくれるんだと思って、ご祝儀で買いました。

https://www.apress.com/us/book/9781484274217
Beginning Scala 3
A Functional & Object Oriented Java Language: From Beginner to Pro
Authors: Pollak, David, Layka, Vishal, Sacco, Andres
を買おうと思ったけど、2022年出版予定のせいなのか、購入ボタンがなかった。(>_<)

　C++20は、次の２つもありますね。
https://www.apress.com/us/book/9781484257128
C++20 Recipes

https://www.apress.com/us/book/9781484258835
Beginning C++20

　TLA+は、フォーマルメソッド(Formal Methods, 形式仕様記述)の言語。日本だとフォーマルメソッドの分野は、なかなか本が出ないから。貴重。
　いつか、テスト駆動開発(TDD, Test-Driven Development)よりフォーマルメソッドというのを書こうと思って、早、4，5年経つかな。
　と思ったら、散発的だけど、あれこれ、ちょっと書いてるじゃん。偉いぞ、おれ。＼(^O^)／

　ほかに、気になる言語やフレームワークがあれば、検索してみるといいと思います。

関連：
http://iiyu.asablo.jp/blog/2021/02/01/9343037
Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers。テスト駆動開発(TDD)より、形式手法(フォーマルメソッド、形式仕様記述、Formal Methods)。
http://iiyu.asablo.jp/blog/2018/10/30/8985607
テスト駆動開発(TDD)より、形式手法(フォーマルメソッド、形式仕様記述、Formal Methods)。九州大学(九大)の荒木啓二郎先生が、熊本高等専門学校(熊本高専)の校長に！記念、形式手法とネットワーク技術シンポジウム