# Software Abstractions ![[cover-calibre-503.jpg|256]] ## Metadata **Source**:: #from/calibre **Kind**:: #books **Generated by**:: [[ob-calibre]] **Topic**:: [[♯ Formal Method]] **Status**:: #x **Date Read**:: [[2025-04-19]] **Tags**:: #libgen **Pages**:: 373 **Progress**:: <progress value="0" max="100"></progress> **Title**:: Software Abstractions **Authors**:: [[Daniel Jackson]] **Publisher**:: [[MIT Press]] **Published**:: [[2012-09-22]] **Updated**:: [[2022-09-09]] **ISBN**:: 9780262017152 **Formats**:: #format/pdf **Cover**:: cover-calibre-503.jpg **Dropbox Directory**:: [Open Directory in Dropbox](https://www.dropbox.com/home/Calibre%20Library/Daniel%20Jackson/Software%20Abstractions%20%28503%29) **macOS Local Directory**:: [Open Directory Locally](file://C%3A/Users/me/Dropbox/Calibre%20Library/Daniel%20Jackson/Software%20Abstractions%20%28503%29) **Calibre Link**:: [Open in Calibre](calibre://show-book/Calibre_Library/503)