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 Sherrie Levine by Daniel Jackson
Cover of the book Children with Specific Language Impairment by Daniel Jackson
Cover of the book Elbow Room by Daniel Jackson
Cover of the book Rule of Law, Misrule of Men by Daniel Jackson
Cover of the book Mental Time Travel by Daniel Jackson
Cover of the book Features of Person by Daniel Jackson
Cover of the book Undone Science by Daniel Jackson
Cover of the book IBM by Daniel Jackson
Cover of the book Site Planning by Daniel Jackson
Cover of the book Parasites, Pathogens, and Progress: Diseases and Economic Development by Daniel Jackson
Cover of the book The Future of Learning Institutions in a Digital Age by Daniel Jackson
Cover of the book The Illusion of Conscious Will by Daniel Jackson
Cover of the book The Mind–Body Problem by Daniel Jackson
Cover of the book Positive Computing by Daniel Jackson
Cover of the book Sifting the Trash 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