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

Name: 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
ISBN: 9783319088662

by Biere, Armin, Bloem, Roderick

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, Bloem, Roderick

Marketplace Prices
New from $101.14

New
$101.14

List Price

~~$155.00~~

Discount

34% Off

You Save

$53.86

Recommended

Item Details
Condition: New
Provider: LightningBooks Contact
Provider Rating:

85%
Ships From: Multiple Locations
Shipping: Standard, Expedited (tracking available)
Comments: Fast shipping! All orders include delivery confirmation.

ISBN-13: 9783319088662
ISBN: 3319088661
Publication Date: 2014
Publisher: Springer

AUTHOR

Biere, Armin, Bloem, Roderick

SUMMARY

Biere, Armin is the author of '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', published 2014 under ISBN 9783319088662 and ISBN 3319088661.

[read more]