Skip to main content
PBS logo
 
 

Search - Software Abstractions: Logic, Language, and Analysis

Software Abstractions: Logic, Language, and Analysis
Software Abstractions Logic Language and Analysis
Author: Daniel Jackson
In Software Abstractions Daniel Jackson introduces an approach to software design that draws on traditional formal methods but exploits automated tools to find flaws as early as possible. This approach--which Jackson calls "lightweight formal methods" or "agile modeling"--takes ...  more »
ISBN-13: 9780262017152
ISBN-10: 0262017156
Publication Date: 11/4/2011
Pages: 376
Edition: revised edition
Rating:
  ?

0 stars, based on 0 rating
Publisher: The MIT Press
Book Type: Hardcover
Other Versions: Paperback
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres: