Verified Software: Theories, Tools And Experiments: 6th International Conference, Vstte 2014, Vienna, Austria, July 17 by Dimitra GiannakopoulouVerified Software: Theories, Tools And Experiments: 6th International Conference, Vstte 2014, Vienna, Austria, July 17 by Dimitra Giannakopoulou

Verified Software: Theories, Tools And Experiments: 6th International Conference, Vstte 2014…

byDimitra GiannakopoulouEditorDaniel Kroening

Paperback | October 28, 2014

Pricing and Purchase Info

$70.50 online 
$82.95 list price save 15%
Earn 353 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

Title:Verified Software: Theories, Tools And Experiments: 6th International Conference, Vstte 2014…Format:PaperbackDimensions:287 pages, 23.5 × 15.5 × 0.02 inPublished:October 28, 2014Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3319121537

ISBN - 13:9783319121536

Reviews