Software Abstractions: Logic, Language, and Analysis

Nonfiction, Computers, Advanced Computing, Computer Science, Programming, Software Development
Big bigCover of Software Abstractions: Logic, Language, and Analysis

More books from MIT Press

bigCover of the book Small, Gritty, and Green by
bigCover of the book Building Successful Online Communities by
bigCover of the book Big Ideas in Macroeconomics by
bigCover of the book A Composer's Guide to Game Music by
bigCover of the book Values at Play in Digital Games by
bigCover of the book Pesticide Drift and the Pursuit of Environmental Justice by
bigCover of the book Girls Coming to Tech! by
bigCover of the book A Case for Climate Engineering by
bigCover of the book Explaining the Computational Mind by
bigCover of the book FireSigns by
bigCover of the book Energy and Civilization by
bigCover of the book Probabilistic Robotics by
bigCover of the book Technology Choices by
bigCover of the book Neuroscience of Creativity by
bigCover of the book Inside the Fed by
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy