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 1st Edition Armin Biere – Ebook Instant Download/Delivery ISBN(s): 9783319088662,9783319088679,3319088661,331908867X
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 1st Edition Armin Biere
$50.00 Original price was: $50.00.$25.00Current price is: $25.00.
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 1st Edition Armin Biere Digital Instant Download
Author(s): Armin Biere, Roderick Bloem (eds.)
ISBN(s): 9783319088662, 9783319088679, 3319088661, 331908867X
Edition: 1
File Details: PDF, 14.13 MB
Year: 2014
Language: English
You may also like…
Sale!
Sale!
Sale!
Sale!
Sale!
Computers - Programming
Sale!
Computers - Computer Science
Sale!
Sale!
Computers - Computer Science
Sale!