Description: Verified Software: Theories, Tools, and Experiments by Arie Gurfinkel, Sanjit A. Seshia This volume constitutes the thoroughly refereed post-conferenceproceedings 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 artin the science and technology of software verification, through theinteraction of theory development, tool evolution, and experimentalvalidation and large-scale verification efforts that involve collaboration, theory unification, tool integration, and formalized domain knowledge. FORMAT Paperback LANGUAGE English CONDITION Brand New Table of Contents Large-scale verification.- collaboration:- Theory Unication.- ToolIntegration.- Formalized domain knowledge. Feature Includes supplementary material: sn.pub/extras Details ISBN3319296124 Short Title VERIFIED SOFTWARE THEORIES TOO Language English ISBN-10 3319296124 ISBN-13 9783319296128 Media Book Format Paperback Series Number 9593 Year 2016 Pages 223 Publication Date 2016-01-29 Edition 1st Imprint Springer International Publishing AG Subtitle 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers Place of Publication Cham Country of Publication Switzerland Edited by Sanjit A. Seshia Illustrations 41 Illustrations, color; IX, 223 p. 41 illus. in color. DOI 10.1007/978-3-319-29613-5 UK Release Date 2016-01-29 Author Sanjit A. Seshia Publisher Springer International Publishing AG Edition Description 1st ed. 2016 DEWEY 005.14 Audience Professional & Vocational Series Lecture Notes in Computer Science We've got this At The Nile, if you're looking for it, we've got it. With fast shipping, low prices, friendly service and well over a million items - you're bound to find what you want, at a price you'll love! TheNile_Item_ID:99134592;
Price: 121.23 AUD
Location: Melbourne
End Time: 2025-02-05T05:23:00.000Z
Shipping Cost: 47.53 AUD
Product Images
Item Specifics
Restocking fee: No
Return shipping will be paid by: Buyer
Returns Accepted: Returns Accepted
Item must be returned within: 30 Days
ISBN-13: 9783319296128
Book Title: Verified Software: Theories, Tools, and Experiments
Number of Pages: 223 Pages
Language: English
Publication Name: Verified Software: Theories, Tools, and Experiments: 7th International Conference, VSTTE 2015, San Francisco, CA, USA, July 18-19, 2015. Revised Selected Papers
Publisher: Springer International Publishing Ag
Publication Year: 2016
Subject: Computer Science
Item Height: 235 mm
Item Weight: 3635 g
Type: Textbook
Author: Sanjit A. Seshia, Arie Gurfinkel
Item Width: 155 mm
Format: Paperback
