Verified Software: Theories, Tools and Experiments

6th International Conference, Vstte 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers

By: Daniel Kroening (Editor), Dimitra Giannakopoulou (Editor)

Write A Review

Paperback | 28 October 2014

At a Glance

Paperback
300 Pages

Dimensions(cm)
23.5 x 15.5 x 1.6

Paperback

$79.99

or 4 interest-free payments of $20.00 with

Ships in 5 to 7 business days

This volume constitutes the thoroughly refereed post-conference proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, held in July 2014 at the Vienna Summer of Logic in Vienna, Austria, as an associated event of CAV 2014, the International Conference on Computer-Aided Verification. The 17 revised full papers presented were carefully revised and selected from 34 submissions. The papers are organized in topical sections such as analysis: understanding and explanation; verification frameworks and applications; hypervisors and dynamic data structures; certification; real time and security.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $49.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.