Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings by Bouajjani, Ahmed

Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings (Paperback) (ISBN-13: 9783642156427)

Vendor: Ahmed Bouajjani
Product type: Books
Format: Paperback
$54.99
$54.99
$54.99
Subtotal: $54.99
Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings by Bouajjani, Ahmed

Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings

$54.99
Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings by Bouajjani, Ahmed

Automated Technology for Verification and Analysis: 8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings

$54.99
Format: Paperback
Description
Description
x
A book that constitutes the refereed proceedings of the 8th International Symposium on Automated Technology for Verification and Analysis, ATVA 2010, that was held in Singapore, in September 2010. It includes 3 invited talks, 21 regular papers and 9 tool papers.

Author: Ahmed Bouajjani
ISBN-10: 3642156428
ISBN-13: 9783642156427
Publisher: Springer
Language: English
Published: 09/03/2010
Pages: 404
Format: Paperback
Weight: 1.35lbs
Size: 9.30h x 6.10w x 0.90d

Recently Viewed Products