Software Abstractions: Logic, Language, and Analysis

Nonfiction, Computers, Advanced Computing, Computer Science, Programming, Software Development
Cover of the book Software Abstractions: Logic, Language, and Analysis by Daniel Jackson, MIT Press
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Daniel Jackson ISBN: 9780262260848
Publisher: MIT Press Publication: April 7, 2006
Imprint: Language: English
Author: Daniel Jackson
ISBN: 9780262260848
Publisher: MIT Press
Publication: April 7, 2006
Imprint:
Language: English
A new approach to software verification introduces Alloy, a language that captures the essence of software abstraction with an analysis that is fully automated.
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
A new approach to software verification introduces Alloy, a language that captures the essence of software abstraction with an analysis that is fully automated.

More books from MIT Press

Cover of the book The Agony of Eros by Daniel Jackson
Cover of the book The Digital Plenitude by Daniel Jackson
Cover of the book Cognitive Pluralism by Daniel Jackson
Cover of the book Plato's Revenge by Daniel Jackson
Cover of the book The Future of Europe by Daniel Jackson
Cover of the book Beyond Bibliometrics by Daniel Jackson
Cover of the book The Psychophysical Ear by Daniel Jackson
Cover of the book Democratizing Innovation by Daniel Jackson
Cover of the book The Laws of Simplicity by Daniel Jackson
Cover of the book A Case for Climate Engineering by Daniel Jackson
Cover of the book Climate of Capitulation by Daniel Jackson
Cover of the book Einstein's Wife by Daniel Jackson
Cover of the book Inventing Atmospheric Science by Daniel Jackson
Cover of the book Power Button by Daniel Jackson
Cover of the book Shifting Practices by Daniel Jackson
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