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:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.