LINKED LIST [txt mode] ▸ https://mitpress.mit.edu/books/softwa...
home explore | log in

https://mitpress.mit.edu/books/software-abstractions-revised-edition

mitpress.mit.edu · 2026-10-01 · 0 upvotes

log in to save, upvote or flag this.


─── In 0 lists ─────────────────────────────────────────

(not in any lists yet)

* Why Don't People Use Formal Methods? (from the discussion)