Description: Verified Software Theories, Tools, and Experiments : 7th International Conference, Vstte 2015, San Francisco, Ca, USA, July 18-19, 2015, Revised Selected Papers, Paperback by Gurfinkel, Arie (EDT); Seshia, Sanjit A. (EDT), ISBN 3319296124, ISBN-13 9783319296128, Like New Used, Free shipping in the US This volume constitutes the thoroughly refereed post-conference proceedings of the 7th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2015, held in July 2015 in San Francisco, CA, USA. The 12 revised full papers presented were carefully revised and selected from 25 submissions. The goal of this conference is to advance the state of the art in the science and technology of software verification, through the interaction of theory development, tool evolution, and experimental validation and large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge.
Price: 75.68 USD
Location: Jessup, Maryland
End Time: 2025-01-16T21:03:32.000Z
Shipping Cost: 0 USD
Product Images
Item Specifics
Return shipping will be paid by: Buyer
All returns accepted: Returns Accepted
Item must be returned within: 14 Days
Refund will be given as: Money Back
Return policy details:
Book Title: Verified Software Theories, Tools, and Experiments : 7th Internat
Number of Pages: IX, 223 Pages
Publication Name: Verified Software - Theories, Tools and Experiments : 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015, Revised Selected Papers
Language: English
Publisher: Springer International Publishing A&G
Subject: Programming Languages / General, Programming / General, Software Development & Engineering / General, General
Publication Year: 2016
Type: Textbook
Item Weight: 128.2 Oz
Item Length: 9.3 in
Author: Sanjit A. Seshia
Subject Area: Computers
Item Width: 6.1 in
Series: Lecture Notes in Computer Science Ser.
Format: Trade Paperback
