Publisher's Synopsis
Computer Aided Verification
Computer Aided Verification 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part II
Paperback (17 Jul 2017)
Not available for sale
Includes delivery to the United States
Out of stock
Other formats/editions
Check stock
Book information
| ISBN: | 9783319633916 |
| Publisher: | Springer Nature B.V. |
| Imprint: | Springer Nature B.V. |
| Pub date: | 17 Jul 2017 |
| Language: | English |
| Number of pages: | 644 |
| Weight: | 890g |
| Height: | 234mm |
| Width: | 156mm |
