Formal Software Design with Alloy 6 book (haslab.github.io)

7 points by efm 4y ago ↗ HN

1 comment

[ 7.7 ms ] story [ 10.4 ms ] thread

jiehong 4y ago ↗

Looks great!

But is there any offline version (like ePub) available?