Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings
Sungdeok Cha
Item not Available
Format: Book (Paperback / softback)
£78.50
£64.69
Item not Available
Book (Paperback / softback)
Automated Technology for Verification and Analysis : 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings
Sungdeok Cha
Download - Immediately Available
Format: eBook (PDF)