2014
Paperback (06 Nov 2014)
Save $7.24
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
This book constitutes the refereed proceedings of the 10th International Haifa Verification Conference, HVC 2014, held in Haifa, Israel, in November 2014. The 17 revised full papers and 4 short papers presented were carefully reviewed and selected from 43 submissions. The papers cover a wide range of topics in the sub-fields of testing and verification applicable to software, hardware, and complex hybrid systems.
| ISBN: | 9783319133379 |
| Publisher: | Springer International Publishing |
| Imprint: | Springer |
| Pub date: | 06 Nov 2014 |
| Edition: | 2014 |
| DEWEY: | 005.14 |
| DEWEY edition: | 23 |
| Language: | English |
| Number of pages: | 302 |
| Weight: | 449g |
| Height: | 235mm |
| Width: | 155mm |
| Spine width: | 17mm |
$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