Software Abstractions: Logic, Language, and Analysis (The MIT Press) cover
Software Abstractions: Logic, Language, and Analysis (The MIT Press)
by Daniel Jackson
ISBN: 9780262017152
Buy on Amazon
Found in 1 comment on Hacker News
l8again · 2023-06-08 · Original thread
If anyone is interested in learning more about Alloy, I would recommend this book by the author, Daniel Jackson - "Software Abstractions" - https://www.amazon.com/Software-Abstractions-Logic-Language-...