Follow

うーんmodel checking買うかぁ

· · Web · 1 · 0 · 0

7000円もするが、致し方ないかなぁ。この手の本真面目に読むなら書き込みがしたいし、あと一応形式検証の研究をしているのに形式検証の真面目な本を一冊も読まずに終わるというのもみたいな感じもあり

@anqou ちょうどその話なんですけど,今model checkingのebookのページ飛んだ時,ダウンロードできる残りページなんて表示されます?

Sign in to participate in the conversation
わくわく鮟鱇ランド

わくわく鮟鱇ランドは、住民が皆わくわくしているマストドンです。登録は艮鮟鱇の身内に制限されています。