大学のサテライトキャンパスにて所蔵本が借りれることになった。 といっても、サテライト授業関係の書籍ばっかりでありますが、 ないよりましですね。早速、HOL/Isabelle本と、Verification of reactive systems を借りた。 後者は形式検証にまつわる全てを…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。