4 ms·Formal Software Design with Alloy 6 book7 points by efm 5y agojiehong 5y agoLooks great! But is there any offline version (like ePub) available?