Placeholder text
Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings (Theoretical Computer Science and General Issues, Band 5123)
By Aarti Gupta
Computer Aided Verification: 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings (Theoretical Computer Science and General Issues, Band 5123)
By Aarti Gupta
0 - Default Title
Product details
- Binding:
- Paperback
- Edition:
- 1
- Number of Pages:
- 575
- Release Date:
- 2008-06-17
- Publication Date:
- 2008-06-17
- Publisher:
- Springer
- Languages:
- Published: English, Original: English
- ISBN10:
- 08247962843540705430
- GPSR Manufacturer Reference:
- [email protected]
- Minimum Reading Age:
- 10
- Maximum Reading Age:
- 80
- Weight:
- 210 g
- Height:
- 23.3 cm
- Width:
- 15.2 cm
- Thickness:
- 3.3 cm
Currently sold out