You need to sign in or sign up before continuing.
Take a photo of a barcode or cover
Read With Others
Book Information
350 pages • first pub 2006 • 1 edition
ISBN/UID: None
Format: Not specified
Language: English
Publisher: Not specified
Edition Pub Date: Not specified
Description
In Software Abstractions Daniel Jackson introduces a new approach tosoftware design that draws on traditional formal methods but exploits automatedtools to find flaws as early as possible. This approach--which Jackson calls"lightweight formal meth...
Community Reviews
Content Warnings
350 pages • 2006
ISBN/UID: None
Format: Not specified
Language: English
Publisher: Not specified
Edition Pub Date: Not specified
Description
In Software Abstractions Daniel Jackson introduces a new approach tosoftware design that draws on traditional formal methods but exploits automatedtools to find flaws as early as possible. This approach--which Jackson calls"lightweight formal meth...
Community Reviews
Content Warnings