Computer Aided Verification 20th International Conference Cav 2008 Princeton Nj Usa July 714 2008 Proceedings
by Aarti Gupta
2008·558 pages·de
Publisher, ISBN & more
- Publisher
- Springer
- ISBN
- 9783540705437
Similar books
Rummaging the shelves…
Reviews
Loading reviews…