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 Burdens of Proof by
bigCover of the book IBM by
bigCover of the book Peer Participation and Software: What Mozilla Has to Teach Government by
bigCover of the book Tap by
bigCover of the book Cosmopolitan Commons by
bigCover of the book Infrastructural Ecologies by
bigCover of the book Cryopolitics by
bigCover of the book Operations Rules by
bigCover of the book Philosophical Provocations by
bigCover of the book Reality Mining by
bigCover of the book How Not to Network a Nation by
bigCover of the book Digital Crossroads by
bigCover of the book When Things Don't Fall Apart by
bigCover of the book Becoming Human by
bigCover of the book Decoding the Social World 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