2010
Hardback (22 Dec 2009)
Save $17.89
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
Through fundamental contributions from leading researchers, this volume describes the use of formal modeling methods in the areas of requirements, design and validation. The self-contained chapters provide readers with rich background information and a diverse breadth of specialist material.
| ISBN: | 9781848827356 |
| Publisher: | Springer London |
| Imprint: | Springer |
| Pub date: | 22 Dec 2009 |
| Edition: | 2010 |
| DEWEY: | 004.0151 |
| DEWEY edition: | 22 |
| Language: | English |
| Number of pages: | 273 |
| Weight: | 596g |
| Height: | 242mm |
| Width: | 165mm |
| Spine width: | 14mm |
$2.79off
Software Development Pearls
Paperback
Published 06 Oct 2021
Save $2.79
$1.26off
The Pragmatic Programmer
Hardback
Published 02 Dec 2019
Save $1.26
$14.07off
97 Things Every Java Programmer...
Paperback
Published 02 Jun 2020
Save $14.07
$17.48off
Learning DevSecOps
Paperback
Published 24 May 2024
Save $17.48
$72.89off
Applied Interval Analysis
Hardback
Published 30 Aug 2001
Save $72.89
$4.00off
Robert Read's How To Be A Progr...
Paperback
Published 02 Oct 2009
Save $4.00
$15.77off
The Staff Engineer's Path
Paperback
Published 30 Sep 2022
Save $15.77
$8.48off
Software Engineering
Paperback
Published 27 Aug 2015
Save $8.48
$51.59off
Usability Engineering
Paperback
Published 11 Nov 1994
Save $51.59
$37.50off
Cloud Native Spring in Action
Paperback
Published 13 Dec 2022
Save $37.50