Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings ... Computer Science and General Issues)

Name: Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings ... Computer Science and General Issues)
ISBN: 9783642182747

by Jhala, Ranjit, Schmidt, David

Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings ... Computer Science and General Issues)

by Jhala, Ranjit, Schmidt, David

Marketplace Prices
New from $51.31

New
$51.31

List Price

~~$95.00~~

Discount

45% Off

You Save

$43.69

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: 9783642182747
ISBN: 3642182747
Edition: 1st Editio
Publication Date: 2011
Publisher: Springer

AUTHOR

Jhala, Ranjit, Schmidt, David

SUMMARY

Jhala, Ranjit is the author of 'Verification, Model Checking, and Abstract Interpretation: 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011 Proceedings ... Computer Science and General Issues)', published 2011 under ISBN 9783642182747 and ISBN 3642182747.

[read more]