You need to sign in or sign up before continuing.

Browse editions

Current edition
Software Abstractions, Revised Edition: Logic, Language, and Analysis by Daniel Jackson

Software Abstractions, Revised Edition: Logic, Language, and Analysis

Mit Press

Daniel Jackson

376 pages • missing pub info (editions)

nonfiction computer science challenging informative medium-paced
Other editions (0)