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

7 points by efm 4y ago ↗ HN

1 comment

[ 0.22 ms ] story [ 69.4 ms ] thread

jiehong 4y ago ↗

Looks great!

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