2013
Paperback (31 Oct 2013)
Save $6.26
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
This book constitutes the refereed proceedings of the 9th International Haifa Verification Conference, HVC 2013, held in Haifa, Israel in November 2013. The 24 revised full papers presented were carefully reviewed and selected from 49 submissions. The papers are organized in topical sections on SAT and SMT-based verification, software testing, supporting dynamic verification, specification and coverage, abstraction and model presentation.
| ISBN: | 9783319030760 |
| Publisher: | Springer International Publishing |
| Imprint: | Springer |
| Pub date: | 31 Oct 2013 |
| Edition: | 2013 |
| DEWEY: | 005.14 |
| DEWEY edition: | 23 |
| Language: | English |
| Number of pages: | 366 |
| Weight: | 593g |
| Height: | 235mm |
| Width: | 155mm |
| Spine width: | 20mm |
$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
$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
$19.84off
Policy as Code
Paperback
Published 12 Jul 2024
Save $19.84
$10.27off
The Engineering Leader
Paperback
Published 30 Apr 2024
Save $10.27