Hardware and Software: Verification and Testing: 11th International Haifa Verification Conference, HVC 2015, Haifa, Israel, November 17-19, 2015, Proceedings (Programming and Software Engineering)
US$19.18
Price when purchased online
Free shipping
Free 30-day returns
Sold and shipped by www.hlsglobalservice.com
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here.
US$19.18
Price when purchased online
Free shipping
Free 30-day returns
Sold and shipped by www.hlsglobalservice.com
Free 30-day returns Details
Product details
| Management number | 233423654 | Release Date | 2026/06/27 | List Price | US$19.18 | Model Number | 233423654 | ||
|---|---|---|---|---|---|---|---|---|---|
| Category | |||||||||
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. Read more
| ASIN | 3319262866 |
|---|---|
| ISBN10 | 9783319262864 |
| ISBN13 | 978-3319262864 |
| Edition | 1st ed. 2015 |
| Language | English |
| Publisher | Springer |
| Dimensions | 6.1 x 0.71 x 9.25 inches |
| Item Weight | 10.46 pounds |
| Print length | 309 pages |
| Publication date | October 27, 2015 |
Bestseller ranking
Intelligence & Semantics
Customers who viewed this product also viewed
Reality TV
![Overhaulin - The Complete First Season [DVD]](https://m.media-amazon.com/images/I/51H7TiYjwJL.jpg)
Correction of product information
If you notice any omissions or errors in the product information on this page, please use the correction request form below.
Correction Request Form