Computer aided verification.: 30th International Conference, CAV 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings - 10982

We have stock available for immediate despatch, and should this not cover your order, if more stock isn’t already on the way, it will be ordered immediately to cover your order.

This typically takes 1-2 weeks, depending on availability from the publisher.