|
Barnes & Noble at Oakland University - FALL 2010 | ||
Section 43347 | ||
Software Abstractions: Logic, Language, and Analysis (6th Edition) by Daniel Jackson Hardcover, 366 Pages, Published 2006 ISBN-10: 0-262-10114-9 / 0262101149 ISBN-13: 978-0-262-10114-1 / 9780262101141 In Software Abstractions Daniel Jackson introduces a new 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 method |