Uppaalの技術書 (2 冊)

並行プログラミング入門高野祐輝

動かして学ぶ!Rust入門

動かして学ぶ!Rust入門著者不明