Number Theory and Related Areas
Yi Ouyang
Out of Stock - We are unable to provide an estimated availability date for this product
Format: Book (Paperback / softback)
£60.00
Out of Stock - We are unable to provide an estimated availability date for this product
Book (Paperback / softback)
Add to BasketAutomated Technology for Verification and Analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
Bernd Finkbeiner
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£37.09
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketAutomated Technology for Verification and Analysis : 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
Bernd Finkbeiner
Download - Immediately Available
Format: eBook (PDF)