Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

by Ganesh Gopalakrishnan (Editor), ShazQadeer (Editor)

New
Paperback
2011
$104.47

Constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011 that was held in Snowbird, UT, USA.

Synopsis

Constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011 that was held in Snowbird, UT, USA.

$104.47

Quantity

10 in stock

More Information

Format: Paperback
Pages: 778
Edition: 1st Edition.
Publisher: Springer
Published: 05 Jul 2011
ISBN 10: 3642221092
ISBN 13: 9783642221095

Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings (Lecture Notes in Computer ... Computer Science and General Issues)

New

$104.47

Synopsis

$104.47

More Information