Publisher's Synopsis
Computer Aided Verification
Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013, Proceedings
Paperback (04 Jul 2013)
Not available for sale
Includes delivery to the United States
Out of stock
Other formats/editions
Check stock
Book information
| ISBN: | 9783642398001 |
| Publisher: | Springer Nature B.V. |
| Imprint: | Springer Nature B.V. |
| Pub date: | 04 Jul 2013 |
| Language: | English |
| Number of pages: | 1040 |
| Weight: | 1426g |
| Height: | 234mm |
| Width: | 156mm |
