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 Technoscience and Environmental Justice: Expert Cultures in a Grassroots Movement by
bigCover of the book Rules of Play by
bigCover of the book Imperial Technoscience by
bigCover of the book Reform of the International Monetary System by
bigCover of the book Off-Track and Online by
bigCover of the book Listening in the Field by
bigCover of the book In 100 Years by
bigCover of the book Rogue Archives by
bigCover of the book Cybernetic Revolutionaries by
bigCover of the book The Man Who Saw Tomorrow by
bigCover of the book The End of Ownership by
bigCover of the book Modernizing America's Electricity Infrastructure by
bigCover of the book The End of the Wild by
bigCover of the book Contract Theory by
bigCover of the book Safe Spaces, Brave Spaces 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