Computer Aided Verification: 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... Notes in Computer Science (8559), Band 8559)

Verification

von: Armin Biere · Roderick Bloem

Taschenbuch

ISBN-13: 978-3-319-08866-2

ISBN-10: 3-319-08866-1

Springer · 2014