Stock image for illustration purposes only - book cover, edition or condition may vary.
Verified Software: Theories, Tools and Experiments
. Ed(S): Giannakopoulou, Dimitra; Kroening, Daniel
€ 63.98
FREE Delivery in Ireland
Description for Verified Software: Theories, Tools and Experiments
Paperback. Editor(s): Giannakopoulou, Dimitra; Kroening, Daniel. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 297 pages, 107 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYQ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 16. Weight in Grams: 462.
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.
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.
Product Details
Format
Paperback
Publication date
2014
Publisher
Springer International Publishing AG Switzerland
Number of pages
297
Condition
New
Series
Lecture Notes in Computer Science / Programming and Software Engineering
Number of Pages
287
Place of Publication
Cham, Switzerland
ISBN
9783319121536
SKU
V9783319121536
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Verified Software: Theories, Tools and Experiments