Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings by Franck CassezAutomated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings by Franck Cassez

Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney…

byFranck CassezEditorJean-Francois Raskin

Paperback | September 29, 2014

Pricing and Purchase Info

$103.98 online 
$110.50 list price save 5%
Earn 520 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

Title:Automated Technology for Verification and Analysis: 12th International Symposium, ATVA 2014, Sydney…Format:PaperbackDimensions:430 pages, 23.5 × 15.5 × 0.02 inPublished:September 29, 2014Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3319119354

ISBN - 13:9783319119359

Reviews