2006
Paperback (19 Dec 2005)
Save $0.59
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
The 27 revised full papers presented here, together with one invited paper were carefully reviewed and selected from 58 submissions. The papers feature current research from the communities of verification, model checking, and abstract interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods.
| ISBN: | 9783540311393 |
| Publisher: | Springer Berlin Heidelberg |
| Imprint: | Springer |
| Pub date: | 19 Dec 2005 |
| Edition: | 2006 |
| DEWEY: | 005.14 |
| DEWEY edition: | 22 |
| Language: | English |
| Number of pages: | 443 |
| Weight: | 1410g |
| Height: | 234mm |
| Width: | 156mm |
| Spine width: | 23mm |
$15.92off
The Art of Agile Development
Paperback
Published 26 Oct 2021
Save $15.92
$8.38off
Data Analysis With Python and P...
Paperback
Published 16 Mar 2022
Save $8.38
$0.73off
Balancing Coupling in Software ...
Paperback
Published 29 Oct 2024
Save $0.73
$13.33off
Learning Kali Linux
Paperback
Published 23 Aug 2024
Save $13.33
$16.46off
Inside Cyber Warfare
Paperback
Published 01 Oct 2024
Save $16.46
$4.86off
Foundations of Software Testing...
Paperback
Published 05 Nov 2024
Save $4.86
$19.32off
Engineering Resilient Systems o...
Paperback
Published 29 Oct 2024
Save $19.32
$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