Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings by Springer International Publishing AG (Paperback, 2014)


OUR TOP PICK

£57.40

Free P&P
Quantity
2 available
Condition
New
Sold by
Business seller: oodals (88681)99.6 % positive Feedback
Delivery
Est. 27 Jan - 30 JanFrom Norwich
Returns
Buyer pays return postage