Mit Press

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