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
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.
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 Why Only Us by Daniel Jackson
Cover of the book Becoming Fluent by Daniel Jackson
Cover of the book Toward the Healthy City by Daniel Jackson
Cover of the book The Chomsky Effect: A Radical Works Beyond the Ivory Tower by Daniel Jackson
Cover of the book Positive Computing by Daniel Jackson
Cover of the book Energy at the End of the World by Daniel Jackson
Cover of the book Transgression in Games and Play by Daniel Jackson
Cover of the book Evolution in Four Dimensions by Daniel Jackson
Cover of the book Democratic Experiments by Daniel Jackson
Cover of the book New Digital Media and Learning as an Emerging Area and Worked Examples as One Way Forward by Daniel Jackson
Cover of the book Yayoi Kusama by Daniel Jackson
Cover of the book For Fun and Profit by Daniel Jackson
Cover of the book Codename Revolution by Daniel Jackson
Cover of the book 10 PRINT CHR$(205.5+RND(1)); : GOTO 10 by Daniel Jackson
Cover of the book Living Through the End of Nature 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