Hardback (12 May 2006)
Not available for sale
Includes delivery to the United States
Out of stock
'Software Abstraction' introduces an approach to software design that draws on traditional formal methods but exploits automated tools to find flaws as early as possible. This text introduces the key elements of the approach - which Jackson calls 'lightweight formal methods' or 'agile modelling'.
| ISBN: | 9780262101141 |
| Publisher: | MIT |
| Imprint: | The MIT Press |
| Pub date: | 12 May 2006 |
| DEWEY: | 005.1 |
| DEWEY edition: | 22 |
| Language: | English |
| Number of pages: | 350 |
| Weight: | 635g |
| Height: | 229mm |
| Width: | 152mm |
| Spine width: | 19mm |
$8.62off
Paperback
Published 03 Oct 2023
Save $8.62
$2.43off
Paperback
Published 25 Sep 2023
Save $2.43
