欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
国际标准书号：
以下是一些网络书店的链接列表，其中可能有您要找的书籍的更多信息：
