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 Modeling and Simulating Software Architectures by
bigCover of the book Synesthesia by
bigCover of the book Cosmopolitan Commons by
bigCover of the book Plato and the Nerd by
bigCover of the book Operations Rules by
bigCover of the book Technology Matters by
bigCover of the book The Monumental Challenge of Preservation by
bigCover of the book Music and the Myth of Wholeness by
bigCover of the book The Man Who Saw Tomorrow by
bigCover of the book Participatory Politics by
bigCover of the book A Nuclear Winter's Tale: Science and Politics in the 1980s by
bigCover of the book Good Science by
bigCover of the book Sustainable Urban Metabolism by
bigCover of the book Plantations and Protected Areas by
bigCover of the book Privacy on the Ground 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