Hacker News new | ask | show | jobs
Formal Software Design with Alloy 6 book (haslab.github.io)
7 points by efm 1678 days ago
1 comments
jiehong 1678 days ago
Looks great!

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

link