Live data from Hacker News

Formal Software Design with Alloy 6 book

haslab.github.io

Post reply on HN

Print view View original

1–2 of 2 posts

Formal Software Design with Alloy 6 book

#1

Post by efm » Mon, Nov 15, 2021, 1:52 PM UTC

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

Re: Formal Software Design with Alloy 6 book

#2

Post by jiehong » Mon, Nov 15, 2021, 7:35 PM UTC

Looks great!

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

Post reply on HN