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 Acting with Technology by
bigCover of the book Vulnerability in Technological Cultures by
bigCover of the book Raising the Stakes: E-Sports and the Professionalization of Computer Gaming by
bigCover of the book Experiencing Architecture by
bigCover of the book Elizabeth Blackburn and the Story of Telomeres: Deciphering the Ends of DNA by
bigCover of the book The Man Who Saw Tomorrow by
bigCover of the book Beyond Versus by
bigCover of the book Robot Futures by
bigCover of the book Renewables by
bigCover of the book Reinforcement Learning by
bigCover of the book Site Planning by
bigCover of the book Indra's Net and the Midas Touch by
bigCover of the book This Is Why We Can't Have Nice Things by
bigCover of the book What Is Landscape? by
bigCover of the book Persuasive Games 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