1st ed. 2015
Paperback (27 Oct 2015)
Save $5.70
Includes delivery to the United States
10+ copies available online - Usually dispatched within 7 days
This book constitutes the refereed proceedings of the 11th International Haifa Verification Conference, HVC 2015, held in Haifa, Israel, in November 2015.
The 17 revised full papers and 4 invited talks presented were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on hybrid systems; tools; verification of robotics; symbolic execution; model checking; timed systems; SAT solving; multi domain verification; and synthesis.
| ISBN: | 9783319262864 |
| Publisher: | Springer International Publishing |
| Imprint: | Springer |
| Pub date: | 27 Oct 2015 |
| Edition: | 1st ed. 2015 |
| DEWEY: | 005.14 |
| DEWEY edition: | 23 |
| Language: | English |
| Number of pages: | 293 |
| Weight: | 440g |
| Height: | 235mm |
| Width: | 155mm |
| Spine width: | 17mm |
$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