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 Rethinking Human Evolution by
bigCover of the book Scholarship in the Digital Age by
bigCover of the book IBM by
bigCover of the book Exchange Rate Regimes in the Modern Era by
bigCover of the book Between Preservation and Exploitation by
bigCover of the book Altered States of Consciousness by
bigCover of the book Synthetic Biology and Morality by
bigCover of the book Riding the Waves: A Life in Sound, Science, and Industry by
bigCover of the book Artificial Unintelligence by
bigCover of the book Vivarium by
bigCover of the book How Change Happens by
bigCover of the book Pirate Politics by
bigCover of the book Ecuador's Environmental Revolutions by
bigCover of the book Fred Forest's Utopia by
bigCover of the book Logic Primer 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