Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings (Lecture Notes ... / Programming and Software Engineering)

Name: Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings (Lecture Notes ... / Programming and Software Engineering)
ISBN: 9783642047602

by Liu, Zhiming, Ravn, Anders P.

Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings (Lecture Notes ... / Programming and Software Engineering)

by Liu, Zhiming, Ravn, Anders P.

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: 9783642047602
ISBN: 3642047602
Edition: 1
Publication Date: 2009
Publisher: Springer

AUTHOR

Liu, Zhiming, Ravn, Anders P.

SUMMARY

Liu, Zhiming is the author of 'Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings (Lecture Notes ... / Programming and Software Engineering)', published 2009 under ISBN 9783642047602 and ISBN 3642047602.

[read more]