Automated Technology for Verification and Analysis : 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings
Deepak D'Souza
Available to Order - This title is available to order, with delivery expected within 2 weeks
Format: Book (Paperback / softback)
£44.99
£34.04
Available to Order - This title is available to order, with delivery expected within 2 weeks
Book (Paperback / softback)
Add to BasketMarijuana and Madness
David (University of Melbourne) Castle
Out of Stock - We are unable to provide an estimated availability date for this product
Format: Book (Paperback / softback)
£32.99
£29.50
Out of Stock - We are unable to provide an estimated availability date for this product
Book (Paperback / softback)
Add to Basket