Computer Aided Verification: 26th International Conference, Cav 2014, Held as Part of the Vienna Summer of Logic, Vsl 2014, Vienna, Austria, July 18-22, 2014, Proceedings
by Biere, Armin (Editor), and Bloem, Roderick (Editor)
Add this copy of Computer Aided Verification: 26th International to cart. $112.32, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2014 by Springer.